Remove logIP_ifs

meiniKi · Jul 22, 2022 · 443eb69 · 443eb69
1 parent 2bfa263
commit 443eb69
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 25 deletions.
diff --git a/fv/yosys/run_formal.sh b/fv/yosys/run_formal.sh
@@ -45,5 +45,5 @@ prep -top top_$parameterDut
 EOT
 
 rm -f ./artifacts/$parameterDut.v
-sv2v --define=FORMAL -E assert --write=./artifacts/$parameterDut.v ./wrapper/wrap_$parameterDut.sv ../src/$parameterDut.sv ../src/logIP_pkg.sv ../src/logIP_ifs.sv
+sv2v --define=FORMAL -E assert --write=./artifacts/$parameterDut.v ./wrapper/wrap_$parameterDut.sv ../src/$parameterDut.sv ../src/logIP_pkg.sv
 sby -f ./artifacts/check.sby 
diff --git a/src/logIP_ifs.sv b/src/logIP_ifs.sv