compile_pass TcheckFail.bsv
compare_file TcheckFail.bsv.bsc-out