diff options
Diffstat (limited to 'tests/xsthammer/run-check.sh')
| -rw-r--r-- | tests/xsthammer/run-check.sh | 24 |
1 files changed, 12 insertions, 12 deletions
diff --git a/tests/xsthammer/run-check.sh b/tests/xsthammer/run-check.sh index 6a77e2367..b2d9193ae 100644 --- a/tests/xsthammer/run-check.sh +++ b/tests/xsthammer/run-check.sh @@ -9,12 +9,12 @@ job="$1" set -- set -e -mkdir -p check check_temp -cd check_temp +mkdir -p check check_temp/$job +cd check_temp/$job { echo "module ${job}_top(a, b, y_rtl, y_xst);" - sed -r '/^(input|output) / !d; /output/ { s/ y;/ y_rtl;/; p; }; s/ y_rtl;/ y_xst;/;' ../rtl/$job.v + sed -r '/^(input|output) / !d; /output/ { s/ y;/ y_rtl;/; p; }; s/ y_rtl;/ y_xst;/;' ../../rtl/$job.v echo "${job}_rtl rtl_variant (.a(a), .b(b), .y(y_rtl));" echo "${job}_xst xst_variant (.a(a), .b(b), .y(y_xst));" echo "endmodule" @@ -22,17 +22,17 @@ cd check_temp for mode in nomap techmap; do { - echo "read_verilog -DGLBL ../xst/$job.v" + echo "read_verilog -DGLBL ../../xst/$job.v" echo "rename $job ${job}_xst" - echo "read_verilog ../rtl/$job.v" + echo "read_verilog ../../rtl/$job.v" echo "rename $job ${job}_rtl" if [ $mode = techmap ]; then echo "techmap ${job}_rtl" fi echo "read_verilog ${job}_top.v" - echo "read_verilog ../xl_cells.v" + echo "read_verilog ../../xl_cells.v" echo "hierarchy -top ${job}_top" echo "flatten ${job}_top" @@ -42,7 +42,7 @@ for mode in nomap techmap; do echo "rename ${job}_top ${job}_top_${mode}" echo "write_ilang ${job}_top_${mode}.il" } > ${job}_top_${mode}.ys - ../../../yosys -q ${job}_top_${mode}.ys + ../../../../yosys -q ${job}_top_${mode}.ys done { @@ -52,12 +52,12 @@ done echo "sat -verify -show a,b,y_rtl,y_xst -prove y_rtl y_xst ${job}_top_techmap" } > ${job}_cmp.ys -if ../../../yosys -l ${job}.log ${job}_cmp.ys; then - mv ${job}.log ../check/${job}.log - rm -f ../check/${job}.err +if ../../../../yosys -l ${job}.log ${job}_cmp.ys; then + mv ${job}.log ../../check/${job}.log + rm -f ../../check/${job}.err else - mv ${job}.log ../check/${job}.err - rm -f ../check/${job}.log + mv ${job}.log ../../check/${job}.err + rm -f ../../check/${job}.log exit 1 fi |