magneto-inertial-fusion
Pulsed FRC kinematics, deterministic trigger logic, FPGA/RTL and formal verification for magneto-inertial fusion control.