Function hard_float_model 

pub fn hard_float_model(hard: &HardFloat) -> String

The floating-point DSP block a simulation of an engine on hard stands in for the device’s (fourteennm_fp_mac, crate::codegen_sva::fp_oracle::hard_model_verilog): the measured semantics of its multiply and add at their measured depths, the multiply-add as deep as the deeper of them. With the multiplies soft no instance takes the block’s multiply, and the stand-in’s is the add’s.