6 STDOUTFILE
=${TESTNAME}.log_stdout
7 STDERRFILE
=${TESTNAME}.log_stderr
12 echo -n "Test: ${TESTNAME} -> "
14 $PWD/..
/..
/yosys
-p "read_verilog -sv ${TESTNAME}.sv ; hierarchy -check -top TopModule ; synth ; write_verilog ${TESTNAME}_syn.v" >> $STDOUTFILE >> $STDERRFILE
15 $PWD/..
/..
/yosys
-p "read_verilog -sv ${TESTNAME}_ref.v ; hierarchy -check -top TopModule ; synth ; write_verilog ${TESTNAME}_ref_syn.v" >> $STDOUTFILE >> $STDERRFILE
17 rm -f a.out reference_result.txt dut_result.txt
21 iverilog
-g2012 ${TESTNAME}_syn.v
22 iverilog
-g2012 ${TESTNAME}_ref_syn.v
26 iverilog
-g2012 ${TESTNAME}_tb.v
${TESTNAME}_ref_syn.v
28 mv output.txt reference_result.txt
29 iverilog
-g2012 ${TESTNAME}_tb.v
${TESTNAME}_syn.v
31 mv output.txt dut_result.txt
33 diff reference_result.txt dut_result.txt
> ${TESTNAME}.
diff
35 if [ "$RET" != "0" ] ; then