Function hard_model_verilog 

pub fn hard_model_verilog(
    product: &Semantics,
    sum: &Semantics,
    depths: Depths,
) -> String

fourteennm_fp_mac as a simulator runs the oracle: product and sum the semantics a block’s multiply and add compute (the multiply-add one after the other), depths the steps deep a block is in each mode and registering, each register zero from configuration. The device’s own model is encrypted; this one stands in for it so a simulation of the persona can be held to what the oracle must say of a block whose semantics are known.