How to obtain Core-only (hw/comb/seq) MLIR from verilog? #9124
Description
circt-bmc does not accept LLHD;
Verilog -> Moore -> Core still emits llhd.*, how to obtain Core-only (hw/comb/seq) MLIR for BMC?
Thank you!
{{ message }}
circt-bmc does not accept LLHD;
Verilog -> Moore -> Core still emits llhd.*, how to obtain Core-only (hw/comb/seq) MLIR for BMC?
Thank you!