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

[#73220] add checking for test correctness in t_trace_param_saif and t_trace_primitive_saif

This commit is contained in:
Mateusz Gancarz 2025-02-27 14:01:04 +01:00
parent d54ebaa14b
commit 6ff8c239b9
3 changed files with 38 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
test_regress/t/t_trace_param_saif.py
View File

@ -16,4 +16,6 @@ test.compile(v_flags2=["--trace-saif"])
test.execute()
test.saif_identical(test.trace_filename, test.golden_filename)
test.passes()

34
test_regress/t/t_trace_primitive_saif.out Normal file
View File

@ -0,0 +1,34 @@
(SAIFILE
(SAIFVERSION "2.0")
(DIRECTION "backward")
(DESIGN "foo")
(PROGRAM_NAME "Verilator")
(VERSION "5.032")
(DIVIDER / )
(TIMESCALE 1ps)
(DURATION 120)
(INSTANCE top
(NET
(clk (T0 65) (T1 55) (TZ 0) (TX 0) (TB 0) (TC 23))
)
(INSTANCE t
(NET
(clk (T0 65) (T1 55) (TZ 0) (TX 0) (TB 0) (TC 23))
(cyc\[0\] (T0 60) (T1 60) (TZ 0) (TX 0) (TB 0) (TC 12))
(cyc\[1\] (T0 60) (T1 60) (TZ 0) (TX 0) (TB 0) (TC 6))
(cyc\[2\] (T0 80) (T1 40) (TZ 0) (TX 0) (TB 0) (TC 3))
(cyc\[3\] (T0 80) (T1 40) (TZ 0) (TX 0) (TB 0) (TC 1))
(a (T0 70) (T1 50) (TZ 0) (TX 0) (TB 0) (TC 11))
(b (T0 70) (T1 50) (TZ 0) (TX 0) (TB 0) (TC 5))
(z (T0 100) (T1 20) (TZ 0) (TX 0) (TB 0) (TC 5))
)
(INSTANCE sub_t_i
(NET
(x (T0 70) (T1 50) (TZ 0) (TX 0) (TB 0) (TC 11))
(y (T0 70) (T1 50) (TZ 0) (TX 0) (TB 0) (TC 5))
(z (T0 100) (T1 20) (TZ 0) (TX 0) (TB 0) (TC 5))
)
)
)
)
)

2
test_regress/t/t_trace_primitive_saif.py
View File

@ -16,4 +16,6 @@ test.compile(v_flags2=["--trace-saif"])
test.execute()
test.saif_identical(test.trace_filename, test.golden_filename)
test.passes()