Skip to content

Waveform Diff Testing #266

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Closed
Nikil-Shyamsunder wants to merge 6 commits into from
Closed

Waveform Diff Testing #266

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
6 commits
Select commit Hold shift + click to select a range
dfd2833
Full Trace Lowering (#264)
Nikil-Shyamsunder Jul 1, 2026
7c2868e
waveform diffing between AST interpreter and trace interpreter
Nikil-Shyamsunder Jun 28, 2026
8170508
get rid of annoying warnings in .expect files
Nikil-Shyamsunder Jun 28, 2026
6f44854
add ascii out for graph interpreter
Nikil-Shyamsunder Jun 28, 2026
3d5aeb7
update runt expects
Nikil-Shyamsunder Jun 28, 2026
21a5b98
add a new runt config for waveform diffing ast and geraph interp
Nikil-Shyamsunder Jun 28, 2026
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
20 changes: 1 addition & 19 deletions examples/picorv32/expects/unsigned_mul.graph_interp.expect
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,19 +1 @@
warning: Inferred RHS type as u32 from LHS type u32.
┌─ examples/picorv32/pcpi_mul.prot:37:3
│
37 │ p.pcpi_insn := X;
│ ^^^^^^^^^^^^^^^^^ Inferred RHS type as u32 from LHS type u32.

warning: Inferred RHS type as u32 from LHS type u32.
┌─ examples/picorv32/pcpi_mul.prot:38:3
│
38 │ p.pcpi_rs1 := X;
│ ^^^^^^^^^^^^^^^^ Inferred RHS type as u32 from LHS type u32.

warning: Inferred RHS type as u32 from LHS type u32.
┌─ examples/picorv32/pcpi_mul.prot:39:3
│
39 │ p.pcpi_rs2 := X;
│ ^^^^^^^^^^^^^^^^ Inferred RHS type as u32 from LHS type u32.

trace 0 executed successfully
Trace 0 executed successfully!
9 changes: 9 additions & 0 deletions examples/picorv32/expects/unsigned_mul.waveform.expect
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1,9 @@
Trace 0 executed successfully!
pcpi_rs2[31:0] x 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 1 1 1 1 1 1 1 1 1 1 x 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 x x x 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 1 1 1 1 1 1 1 1 1 1 x 200 200 200 200 200 200 200 200 200 200 200 200 200 200 200 200 200 200 200 200 200 200 200 200 200 200 200 200 200 200 200 200 200 200 200 200 x
pcpi_rs1[31:0] x 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 1 1 1 1 1 1 1 1 1 1 x 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 1 1 1 1 1 1 1 1 1 1 x x x 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 x 33554483 33554483 33554483 33554483 33554483 33554483 33554483 33554483 33554483 33554483 33554483 33554483 33554483 33554483 33554483 33554483 33554483 33554483 33554483 33554483 33554483 33554483 33554483 33554483 33554483 33554483 33554483 33554483 33554483 33554483 33554483 33554483 33554483 33554483 33554483 33554483 x
pcpi_insn[31:0] x 33554483 33554483 33554483 33554483 33554483 33554483 33554483 33554483 33554483 33554483 33554483 33554483 33554483 33554483 33554483 33554483 33554483 33554483 33554483 33554483 33554483 33554483 33554483 33554483 33554483 33554483 33554483 33554483 33554483 33554483 33554483 33554483 33554483 33554483 33554483 33554483 x 33554483 33554483 33554483 33554483 33554483 33554483 33554483 33554483 33554483 33554483 33554483 33554483 33554483 33554483 33554483 33554483 33554483 33554483 33554483 33554483 33554483 33554483 33554483 33554483 33554483 33554483 33554483 33554483 33554483 33554483 33554483 33554483 33554483 33554483 33554483 33554483 x x x 33554483 33554483 33554483 33554483 33554483 33554483 33554483 33554483 33554483 33554483 33554483 33554483 33554483 33554483 33554483 33554483 33554483 33554483 33554483 33554483 33554483 33554483 33554483 33554483 33554483 33554483 33554483 33554483 33554483 33554483 33554483 33554483 33554483 33554483 33554483 33554483 x 33554483 33554483 33554483 33554483 33554483 33554483 33554483 33554483 33554483 33554483 33554483 33554483 33554483 33554483 33554483 33554483 33554483 33554483 33554483 33554483 33554483 33554483 33554483 33554483 33554483 33554483 33554483 33554483 33554483 33554483 33554483 33554483 33554483 33554483 33554483 33554483 x
pcpi_valid x 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 1 1 1 1 1 1 1 1 1 1 0 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 1 1 1 1 1 1 1 1 1 1 0 0 0 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 1 1 1 1 1 1 1 1 1 1 0 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 1 1 1 1 1 1 1 1 1 1 0
resetn 0 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 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 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 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 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 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1
pcpi_ready 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1
pcpi_rd[31:0] 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 1 1 1 1 1 1 1 1 1 1 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 100 2415929304
pcpi_wr 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1
2 changes: 1 addition & 1 deletion examples/serv/expects/serv_regfile.graph_interp.expect
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1 +1 @@
trace 0 executed successfully
Trace 0 executed successfully!
10 changes: 10 additions & 0 deletions examples/serv/expects/serv_regfile.waveform.expect
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1,10 @@
Trace 0 executed successfully!
i_rs2_addr[4:0] x 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 x 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
i_rs1_addr[4:0] x 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 x 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5
i_rd x x x 1 1 1 1 0 1 1 1 0 1 1 1 1 1 0 1 1 0 1 1 0 1 0 1 0 1 1 1 1 0 1 1 x x x 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
i_rd_addr[4:0] x x x 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 x x x 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
i_rd_en 0 0 0 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 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
i_go 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
o_rs2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
o_rs1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 1 1 1 0 1 1 1 1 1 0 1 1 0 1 1 0 1 0 1 0 1 1 1 1 0 1 1
o_ready 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
14 changes: 1 addition & 13 deletions examples/tinyaes128/expects/aes128.graph_interp.expect
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,13 +1 @@
warning: Inferred RHS type as u128 from LHS type u128.
┌─ examples/tinyaes128/aes128.prot:14:3
│
14 │ dut.state := X;
│ ^^^^^^^^^^^^^^^ Inferred RHS type as u128 from LHS type u128.

warning: Inferred RHS type as u128 from LHS type u128.
┌─ examples/tinyaes128/aes128.prot:15:3
│
15 │ dut.key := X;
│ ^^^^^^^^^^^^^ Inferred RHS type as u128 from LHS type u128.

trace 0 executed successfully
Trace 0 executed successfully!
4 changes: 4 additions & 0 deletions examples/tinyaes128/expects/aes128.waveform.expect
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1,4 @@
Trace 0 executed successfully!
key[127:0] 5233100606242806050955395731361295 0 x x x x x x x x x x x x x x x x x x x x x
state[127:0] 88962710306127702866241727433142015 0 x x x x x x x x x x x x x x x x x x x x x
out[127:0] 0 0 71778311789097647671049325045230862336 71778311789097647671049325045230862336 35868300212119133283579005935812122847 35868300212119133283579005935812122847 327752838015899366438890283309515114400 327752838015899366438890283309515114400 203032155725521696441342225352960680837 203032155725521696441342225352960680837 115201720288419924075453300654664241719 115201720288419924075453300654664241719 124730794683309237537769739846074451166 124730794683309237537769739846074451166 195198478507891684634855816904362763862 195198478507891684634855816904362763862 279945433700018944347381603335698100877 279945433700018944347381603335698100877 151310862742641855969807637301330667573 151310862742641855969807637301330667573 136792598789324718765670228683992083246 140591190147677442632770771134392354138 136792598789324718765670228683992083246
Loading
Loading