mirrors/yosys
3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2025-04-27 10:55:51 +00:00
Code Activity

Fix running sva tests

Browse source
This commit is contained in:
Miodrag Milanovic 2022-05-09 09:01:57 +02:00
parent 9c69e9f8a6
commit 600079e281
1 changed files with 3 additions and 4 deletions
Download patch file Download diff file Expand all files Collapse all files

7
tests/sva/runtest.sh
View file

@ -22,18 +22,17 @@ generate_sby() {
if [ -f $prefix.sv ]; then
if [ "$1" = "fail" ]; then
echo "verific -sv ${prefix}_fail.sv"
echo "read -sv ${prefix}_fail.sv"
else
echo "verific -sv $prefix.sv"
echo "read -sv $prefix.sv"
fi
fi
if [ -f $prefix.vhd ]; then
echo "verific -vhdl $prefix.vhd"
echo "read -vhdl $prefix.vhd"
fi
cat <<- EOT
verific -import -extnets -all top
prep -top top
chformal -early -assume