| Verilog_multiply of { } |
| Hybrid_dsp_and_luts of { latency : int; | lut_only_hamming_weight_threshold : int; |
} |
| Mixed of { latency : int; | lut_only_hamming_weight_threshold : int option; | hybrid_hamming_weight_threshold : int option; |
} |
| Specialized_43_bit_multiply |