Function emit_nexys_float_soc 

pub fn emit_nexys_float_soc() -> String

The FLASHABLE float SoC (nexys_float_soc) for the Nexys A7-100T: a baked-in (a,b) float ROM drives float_<name> — pulse the datapath reset, wait done (counting the FPU pipeline cycles), capture the f64 result, and stream the 12-byte record {0xA5, vec, result[63:0] MSB-first, cycles[15:0]} out the UART TX, looping forever. The host decodes the f64 and floors it to the integer hypotenuse. 100 MHz; 8N1 115200.