clean repo

2024-06-09 11:31:58 +08:00 · 2024-06-09 11:31:58 +08:00 · 2333095668
parent 75531be3c2
commit 2333095668
24 changed files with 11 additions and 6 deletions
--- a/.gitignore
+++ b/.gitignore
@ -1,2 +1,2 @@
-ddr3_controller/
-xsim/
+formal/ddr3_multiconfig_prf*
+formal/ddr3_singleconfig/
--- a/example_demo/arty_s7/Arty-S7-50-Master.xdc
+++ b/example_demo/arty_s7/Arty-S7-50-Master.xdc
--- a/example_demo/arty_s7/arty_ddr3.v
+++ b/example_demo/arty_s7/arty_ddr3.v
--- a/example_demo/arty_s7/uart.v
+++ b/example_demo/arty_s7/uart.v
--- a/example_demo/arty_s7/uart_rx.v
+++ b/example_demo/arty_s7/uart_rx.v
--- a/example_demo/arty_s7/uart_tx.v
+++ b/example_demo/arty_s7/uart_tx.v
--- a/example_demo/klusterlab/ddr3.txt
+++ b/example_demo/klusterlab/ddr3.txt
--- a/example_demo/klusterlab/ddr3scope.txt
+++ b/example_demo/klusterlab/ddr3scope.txt
--- a/example_demo/klusterlab/ddr3scope1.cpp
+++ b/example_demo/klusterlab/ddr3scope1.cpp
--- a/example_demo/klusterlab/ddr3scope2.cpp
+++ b/example_demo/klusterlab/ddr3scope2.cpp
--- a/example_demo/klusterlab/ddr3scope3.cpp
+++ b/example_demo/klusterlab/ddr3scope3.cpp
--- a/example_demo/klusterlab/kluster.xdc
+++ b/example_demo/klusterlab/kluster.xdc
--- a/example_demo/nexys_video/Makefile.openxc7
+++ b/example_demo/nexys_video/Makefile.openxc7
--- a/example_demo/nexys_video/Makefile.vivado
+++ b/example_demo/nexys_video/Makefile.vivado
--- a/example_demo/nexys_video/Nexys-video-vivado.xdc
+++ b/example_demo/nexys_video/Nexys-video-vivado.xdc
--- a/example_demo/nexys_video/Nexys-video.xdc
+++ b/example_demo/nexys_video/Nexys-video.xdc
--- a/example_demo/nexys_video/clk_wiz.v
+++ b/example_demo/nexys_video/clk_wiz.v
--- a/example_demo/nexys_video/constraints.py
+++ b/example_demo/nexys_video/constraints.py
--- a/example_demo/nexys_video/nexysvideo_ddr3.v
+++ b/example_demo/nexys_video/nexysvideo_ddr3.v
--- a/example_demo/nexys_video/show_bels.py
+++ b/example_demo/nexys_video/show_bels.py
--- a/formal/ddr3_multiconfig.sby
+++ b/formal/ddr3_multiconfig.sby
@ -54,5 +54,5 @@ prep -top ddr3_controller

 [files]
 ./rtl/ddr3_controller.v
-./rtl/fwb_slave.v
+./rtl/formal/fwb_slave.v

--- a/formal/ddr3_singleconfig.sby
+++ b/formal/ddr3_singleconfig.sby
@ -14,4 +14,4 @@ prep -top ddr3_controller

 [files]
 ./rtl/ddr3_controller.v
-./rtl/fwb_slave.v
+./rtl/formal/fwb_slave.v
--- a/rtl/formal/fwb_slave.v
+++ b/rtl/formal/fwb_slave.v
--- a/run_compile.sh
+++ b/run_compile.sh
@ -23,9 +23,14 @@ echo

 # run symbiyosys 
 echo ""
-echo -e "\e[32mRun Symbiyosys Formal Verification:\e[0m"
+echo -e "\e[32mRun Symbiyosys Formal Verification: Single Configuration\e[0m"
 echo "---------------------------------------"
-sby -f ddr3_multiconfig.sby
+sby -f formal/ddr3_singleconfig.sby
+
+echo ""
+echo -e "\e[32mRun Symbiyosys Formal Verification: Multiple Configurations\e[0m"
+echo "---------------------------------------"
+sby -f formal/ddr3_multiconfig.sby


 # ANSI color codes