diff options
| author | Clifford Wolf <clifford@clifford.at> | 2013-06-13 19:51:13 +0200 |
|---|---|---|
| committer | Clifford Wolf <clifford@clifford.at> | 2013-06-13 19:51:13 +0200 |
| commit | 30db70b1baaad1f299234b419ac2dc581eee1e14 (patch) | |
| tree | eaa40205b162ec41f9fa2fbc37f1bcdb024341b4 /tests | |
| parent | 7f6c83a853e1d127365169e018f44faaac405326 (diff) | |
| download | yosys-30db70b1baaad1f299234b419ac2dc581eee1e14.tar.gz yosys-30db70b1baaad1f299234b419ac2dc581eee1e14.tar.bz2 yosys-30db70b1baaad1f299234b419ac2dc581eee1e14.zip | |
Added consteval testing to xsthammer and fixed bugs
Diffstat (limited to 'tests')
| -rw-r--r-- | tests/xsthammer/run-check.sh | 9 |
1 files changed, 7 insertions, 2 deletions
diff --git a/tests/xsthammer/run-check.sh b/tests/xsthammer/run-check.sh index b2d9193ae..709eff816 100644 --- a/tests/xsthammer/run-check.sh +++ b/tests/xsthammer/run-check.sh @@ -35,12 +35,15 @@ for mode in nomap techmap; do echo "read_verilog ../../xl_cells.v" echo "hierarchy -top ${job}_top" + echo "flatten ${job}_xst" + echo "flatten ${job}_rtl" echo "flatten ${job}_top" - echo "hierarchy -top ${job}_top" echo "opt_clean" + echo "rename ${job}_xst ${job}_xst_${mode}" + echo "rename ${job}_rtl ${job}_rtl_${mode}" echo "rename ${job}_top ${job}_top_${mode}" - echo "write_ilang ${job}_top_${mode}.il" + echo "dump -outfile ${job}_top_${mode}.il ${job}_xst_${mode} ${job}_rtl_${mode} ${job}_top_${mode}" } > ${job}_top_${mode}.ys ../../../../yosys -q ${job}_top_${mode}.ys done @@ -50,6 +53,8 @@ done echo "read_ilang ${job}_top_techmap.il" echo "sat -verify -show a,b,y_rtl,y_xst -prove y_rtl y_xst ${job}_top_nomap" echo "sat -verify -show a,b,y_rtl,y_xst -prove y_rtl y_xst ${job}_top_techmap" + echo "sat -brute_force_equiv_checker ${job}_rtl_nomap ${job}_xst_nomap" + echo "sat -brute_force_equiv_checker ${job}_rtl_techmap ${job}_xst_techmap" } > ${job}_cmp.ys if ../../../../yosys -l ${job}.log ${job}_cmp.ys; then |