remove uart_rx formal

2023-08-23 11:55:28 -04:00 · 2023-08-23 11:55:28 -04:00 · 23418066f9
parent a841994fec
commit 23418066f9
2 changed files with 0 additions and 30 deletions
--- a/1
+++ b/1
@ -63,7 +63,6 @@ $(ICESTICK_EXAMPLES):

 # Formal Verification
 formal:
-	sby -f test/formal_verification/uart_rx.sby
 	sby -f test/formal_verification/bridge_rx.sby

 # Functional Simulation
--- a/test/formal_verification/uart_rx.sby
+++ b/test/formal_verification/uart_rx.sby
@ -1,29 +0,0 @@
-[tasks]
-basic bmc
-nofullskip prove
-cover
-noverific cover
-basic cover : default
-
-[options]
-cover:
-mode cover
--
-prove:
-mode prove
--
-bmc:
-mode bmc
--
-
-[engines]
-smtbmc boolector
-
-[script]
-nofullskip: read -define NO_FULL_SKIP=1
-noverific: read -noverific
-read -formal uart_rx.v
-prep -top uart_rx
-
-[files]
-src/manta/uart_iface/uart_rx.v