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

Delete formal_cover.gtkw

This commit is contained in:
Angelo Jacobo 2023-04-06 19:44:30 +08:00 committed by GitHub
parent 3b110018c7
commit 7c47580d4d
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 0 additions and 185 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

185
formal_cover.gtkw
View File

@ -1,185 +0,0 @@
[*]
[*] GTKWave Analyzer v3.4.0 (w)1999-2022 BSI
[*] Thu Mar 30 06:27:18 2023
[*]
[dumpfile] "/home/angelo/Videos/DDR3_Controller/ddr3_controller/engine_0/trace0.vcd"
[dumpfile_mtime] "Thu Mar 30 06:09:01 2023"
[dumpfile_size] 46993
[savefile] "/home/angelo/Videos/DDR3_Controller/formal_cover.gtkw"
[timestart] 0
[size] 1848 1126
[pos] -51 -51
*-4.011860 65 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1 -1
[sst_width] 43
[signals_width] 468
[sst_expanded] 0
[sst_vpaned_height] 525
@28
ddr3_controller.i_clk
ddr3_controller.i_rst_n
ddr3_controller.i_wb_cyc
ddr3_controller.o_wb_stall
ddr3_controller.i_wb_stb
ddr3_controller.i_wb_we
@c00022
ddr3_controller.f_index[4:0]
@28
(0)ddr3_controller.f_index[4:0]
(1)ddr3_controller.f_index[4:0]
(2)ddr3_controller.f_index[4:0]
(3)ddr3_controller.f_index[4:0]
(4)ddr3_controller.f_index[4:0]
@1401200
-group_end
@200
-
@28
ddr3_controller.request_pending_q
@22
ddr3_controller.i_wb_addr[23:0]
ddr3_controller.i_wb_data[511:0]
ddr3_controller.i_wb_sel[63:0]
@28
ddr3_controller.o_wb_ack
@200
-
@28
ddr3_controller.bank_status_q[7:0]
@22
ddr3_controller.bank_active_row_q<0>[13:0]
ddr3_controller.bank_active_row_q<1>[13:0]
@24
ddr3_controller.bank_active_row_q<2>[13:0]
@22
ddr3_controller.bank_active_row_q<3>[13:0]
ddr3_controller.bank_active_row_q<4>[13:0]
ddr3_controller.bank_active_row_q<5>[13:0]
ddr3_controller.bank_active_row_q<6>[13:0]
ddr3_controller.bank_active_row_q<7>[13:0]
@200
-
-
@22
ddr3_controller.cmd_q<0>[20:0]
ddr3_controller.cmd_q<1>[20:0]
ddr3_controller.cmd_q<2>[20:0]
ddr3_controller.cmd_q<3>[20:0]
@200
-
@24
ddr3_controller.request_bank[2:0]
ddr3_controller.request_row[13:0]
@28
ddr3_controller.request_we
@200
-
@28
ddr3_controller.reset_done
@200
-DELAYS
@22
ddr3_controller.delay_before_activate_added_delay[7:0]
@200
-
@22
ddr3_controller.delay_before_activate_counter_q<0>[3:0]
ddr3_controller.delay_before_activate_counter_q<1>[3:0]
ddr3_controller.delay_before_activate_counter_q<2>[3:0]
ddr3_controller.delay_before_activate_counter_q<3>[3:0]
ddr3_controller.delay_before_activate_counter_q<4>[3:0]
ddr3_controller.delay_before_activate_counter_q<5>[3:0]
ddr3_controller.delay_before_activate_counter_q<6>[3:0]
ddr3_controller.delay_before_activate_counter_q<7>[3:0]
@200
-
@22
ddr3_controller.delay_before_activate_mask_q<0>[3:0]
ddr3_controller.delay_before_activate_mask_q<1>[3:0]
ddr3_controller.delay_before_activate_mask_q<2>[3:0]
ddr3_controller.delay_before_activate_mask_q<3>[3:0]
ddr3_controller.delay_before_activate_mask_q<4>[3:0]
ddr3_controller.delay_before_activate_mask_q<5>[3:0]
ddr3_controller.delay_before_activate_mask_q<6>[3:0]
ddr3_controller.delay_before_activate_mask_q<7>[3:0]
@200
-
@22
ddr3_controller.delay_before_precharge_added_delay[7:0]
@200
-
@22
ddr3_controller.delay_before_precharge_counter_q<0>[3:0]
ddr3_controller.delay_before_precharge_counter_q<1>[3:0]
ddr3_controller.delay_before_precharge_counter_q<2>[3:0]
ddr3_controller.delay_before_precharge_counter_q<3>[3:0]
ddr3_controller.delay_before_precharge_counter_q<4>[3:0]
ddr3_controller.delay_before_precharge_counter_q<5>[3:0]
ddr3_controller.delay_before_precharge_counter_q<6>[3:0]
ddr3_controller.delay_before_precharge_counter_q<7>[3:0]
@200
-
@22
ddr3_controller.delay_before_precharge_mask_q<0>[3:0]
@23
ddr3_controller.delay_before_precharge_mask_q<1>[3:0]
@22
ddr3_controller.delay_before_precharge_mask_q<2>[3:0]
ddr3_controller.delay_before_precharge_mask_q<3>[3:0]
ddr3_controller.delay_before_precharge_mask_q<4>[3:0]
ddr3_controller.delay_before_precharge_mask_q<5>[3:0]
ddr3_controller.delay_before_precharge_mask_q<6>[3:0]
ddr3_controller.delay_before_precharge_mask_q<7>[3:0]
@200
-
@22
ddr3_controller.delay_before_read_added_delay[7:0]
@200
-
@22
ddr3_controller.delay_before_read_counter_q<0>[3:0]
ddr3_controller.delay_before_read_counter_q<1>[3:0]
ddr3_controller.delay_before_read_counter_q<2>[3:0]
ddr3_controller.delay_before_read_counter_q<3>[3:0]
ddr3_controller.delay_before_read_counter_q<4>[3:0]
ddr3_controller.delay_before_read_counter_q<5>[3:0]
ddr3_controller.delay_before_read_counter_q<6>[3:0]
ddr3_controller.delay_before_read_counter_q<7>[3:0]
@200
-
@22
ddr3_controller.delay_before_read_mask_q<0>[3:0]
ddr3_controller.delay_before_read_mask_q<1>[3:0]
ddr3_controller.delay_before_read_mask_q<2>[3:0]
ddr3_controller.delay_before_read_mask_q<3>[3:0]
ddr3_controller.delay_before_read_mask_q<4>[3:0]
ddr3_controller.delay_before_read_mask_q<5>[3:0]
ddr3_controller.delay_before_read_mask_q<6>[3:0]
ddr3_controller.delay_before_read_mask_q<7>[3:0]
@200
-
@22
ddr3_controller.delay_before_write_added_delay[7:0]
@200
-
@22
ddr3_controller.delay_before_write_counter_q<0>[3:0]
ddr3_controller.delay_before_write_counter_q<1>[3:0]
ddr3_controller.delay_before_write_counter_q<2>[3:0]
ddr3_controller.delay_before_write_counter_q<3>[3:0]
ddr3_controller.delay_before_write_counter_q<4>[3:0]
ddr3_controller.delay_before_write_counter_q<5>[3:0]
ddr3_controller.delay_before_write_counter_q<6>[3:0]
ddr3_controller.delay_before_write_counter_q<7>[3:0]
@200
-
@22
ddr3_controller.delay_before_write_mask_q<0>[3:0]
ddr3_controller.delay_before_write_mask_q<1>[3:0]
ddr3_controller.delay_before_write_mask_q<2>[3:0]
ddr3_controller.delay_before_write_mask_q<3>[3:0]
ddr3_controller.delay_before_write_mask_q<4>[3:0]
ddr3_controller.delay_before_write_mask_q<5>[3:0]
ddr3_controller.delay_before_write_mask_q<6>[3:0]
ddr3_controller.delay_before_write_mask_q<7>[3:0]
[pattern_trace] 1
[pattern_trace] 0