-
Notifications
You must be signed in to change notification settings - Fork 24
/
checks.gtkw
83 lines (83 loc) · 1.93 KB
/
checks.gtkw
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
[*]
[*] GTKWave Analyzer v3.3.65 (w)1999-2015 BSI
[*] Wed Sep 13 00:29:24 2017
[*]
[dumpfile] "(null)"
[savefile] "/home/claire/Work/riscv-formal/cores/picorv32/checks.gtkw"
[timestart] 0
[size] 1263 878
[pos] -1 -1
*-6.814997 100 -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
[treeopen] rvfi_testbench.
[treeopen] rvfi_testbench.wrapper.
[sst_width] 225
[signals_width] 335
[sst_expanded] 1
[sst_vpaned_height] 258
@24
smt_step
@200
-
-PicoRV32
@28
rvfi_testbench.wrapper.uut.resetn
@820
rvfi_testbench.wrapper.uut.dbg_ascii_state[127:0]
rvfi_testbench.wrapper.uut.dbg_ascii_instr[63:0]
@200
-
@28
rvfi_testbench.wrapper.mem_valid
rvfi_testbench.wrapper.mem_ready
rvfi_testbench.wrapper.mem_instr
@22
rvfi_testbench.wrapper.mem_addr[31:0]
rvfi_testbench.wrapper.mem_wstrb[3:0]
rvfi_testbench.wrapper.mem_rdata[31:0]
rvfi_testbench.wrapper.mem_wdata[31:0]
@200
-
-RVFI
@28
rvfi_testbench.checker_inst.reset
rvfi_testbench.checker_inst.trig
rvfi_testbench.checker_inst.check
@200
-
@28
rvfi_testbench.checker_inst.rvfi_valid
rvfi_testbench.checker_inst.rvfi_trap
rvfi_testbench.checker_inst.rvfi_intr
rvfi_testbench.checker_inst.rvfi_halt
@200
-
@25
rvfi_testbench.checker_inst.rvfi_order[63:0]
@22
rvfi_testbench.checker_inst.rvfi_insn[31:0]
rvfi_testbench.checker_inst.rvfi_pc_rdata[31:0]
rvfi_testbench.checker_inst.rvfi_pc_wdata[31:0]
@200
-
@22
rvfi_testbench.checker_inst.rvfi_rs1_addr[4:0]
rvfi_testbench.checker_inst.rvfi_rs2_addr[4:0]
rvfi_testbench.checker_inst.rvfi_rd_addr[4:0]
@200
-
@22
rvfi_testbench.checker_inst.rvfi_rs1_rdata[31:0]
rvfi_testbench.checker_inst.rvfi_rs2_rdata[31:0]
rvfi_testbench.checker_inst.rvfi_rd_wdata[31:0]
@200
-
@22
rvfi_testbench.checker_inst.rvfi_mem_addr[31:0]
rvfi_testbench.checker_inst.rvfi_mem_rmask[3:0]
rvfi_testbench.checker_inst.rvfi_mem_wmask[3:0]
rvfi_testbench.checker_inst.rvfi_mem_rdata[31:0]
rvfi_testbench.checker_inst.rvfi_mem_wdata[31:0]
@200
-
[pattern_trace] 1
[pattern_trace] 0