luke
/
UberDDR3
mirror of https://github.com/AngeloJacobo/UberDDR3.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Merge branch 'main' of https://github.com/AngeloJacobo/DDR3_Controller into main

This commit is contained in:
AngeloJacobo 2023-07-16 08:46:27 +08:00
parent 4f857e08f4 9a29fba26b
commit 12c947afb1
2 changed files with 2 additions and 8 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
formal.gtkw
View File

@ -2,10 +2,7 @@
[*] GTKWave Analyzer v3.4.0 (w)1999-2022 BSI
[*] Sun Jul 9 01:37:07 2023
[*]
[dumpfile] "/home/angelo/Desktop/switch_fpga/DDR3_Controller/ddr3_controller/engine_0/trace_induct.vcd"
[dumpfile_mtime] "Sun Jul 9 01:34:04 2023"
[dumpfile_size] 114453
[savefile] "/home/angelo/Desktop/switch_fpga/DDR3_Controller/formal_cover_3.gtkw"
[timestart] 0
[size] 1848 1126
[pos] -1 -1

5
formal_wb2.gtkw
View File

@ -2,10 +2,7 @@
[*] GTKWave Analyzer v3.4.0 (w)1999-2022 BSI
[*] Tue Jul 11 12:39:11 2023
[*]
[dumpfile] "/home/angelo/Desktop/switch_fpga/DDR3_Controller/ddr3_controller/engine_0/trace_induct.vcd"
[dumpfile_mtime] "Tue Jul 11 12:37:05 2023"
[dumpfile_size] 144494
[savefile] "/home/angelo/Desktop/switch_fpga/DDR3_Controller/wb2.gtkw"
[timestart] 0
[size] 1848 1126
[pos] -1 -1