8 test -f $prefix.sv
-o -f $prefix.vhd
23 if [ -f $prefix.sv
]; then
24 if [ "$1" = "fail" ]; then
25 echo "verific -sv ${prefix}_fail.sv"
27 echo "verific -sv $prefix.sv"
31 if [ -f $prefix.vhd
]; then
32 echo "verific -vhdl $prefix.vhd"
36 verific -import -extnets -all top
38 chformal -early -assume
43 if [ -f $prefix.sv
]; then
47 if [ -f $prefix.vhd
]; then
51 if [ "$1" = "fail" ]; then
54 [file ${prefix}_fail.sv]
56 \`include "$prefix.sv"
61 if [ -f $prefix.sv
]; then
62 generate_sby pass
> ${prefix}_pass.sby
63 generate_sby fail
> ${prefix}_fail.sby
64 sby
--yosys $PWD/..
/..
/yosys
-f ${prefix}_pass.sby
65 sby
--yosys $PWD/..
/..
/yosys
-f ${prefix}_fail.sby
67 generate_sby pass
> ${prefix}.sby
68 sby
--yosys $PWD/..
/..
/yosys
-f ${prefix}.sby