pub fn wprog_config_fits_synth_engine(cfg: &WProgConfig) -> Result<(), String>Expand description
Returns true iff cfg fits the SYNTHESIZABLE engine’s smaller cap profile (a superset check of the generic
engine’s fit): every over-the-wire program synthesized to hardware must satisfy these or it would overflow
the register-backed config memories. The integer func units — Div/Mod/FloorDiv/Pow (sequential datapath) and
MulHiU/MulOvfS (DSP) — all synthesize; only the float/popcount codes are rejected (the FPU follow-on).