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

Update formal.gtkw

This commit is contained in:
Angelo Jacobo 2023-07-13 19:35:18 +08:00 committed by GitHub
parent c45fd85ee4
commit 9a29fba26b
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 4 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