compile_verilog_pass Test.bsv
compare_verilog mkMulti.v