Skip to content

Y
yosys-tests
Commit 9094d837 by Clifford Wolf
Options

Update verific/sva/run.sh 

Signed-off-by: Clifford Wolf <clifford@clifford.at>
parent f8ef75f8
Showing with 1 additions and 1 deletions
verific/sva/run.sh
......@@ -16,7 +16,7 @@ while read t; do
echo ""
echo "[script]"
echo "verific -sv $1.sv"
echo "verific -import -v $t"
echo "verific -import $t"
echo "prep -nordff -top $t"
echo "chformal -assume -early"
echo "opt_clean"
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment