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

[#73220] add t_trace_abort_saif test

This commit is contained in:
Mateusz Gancarz 2025-02-25 15:28:16 +01:00
parent d61e88bbe9
commit 8dcbb52800
2 changed files with 23 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

21
test_regress/t/t_trace_abort_saif.out Normal file
View File

@ -0,0 +1,21 @@
(SAIFILE
(SAIFVERSION "2.0")
(DIRECTION "backward")
(DESIGN "t")
(DIVIDER / )
(TIMESCALE 1ps)
(DURATION 75)
(INSTANCE top
(NET
(clk (T0 40) (T1 35) (TX 0) (TC 14) (IG 0))
)
(INSTANCE t
(NET
(clk (T0 40) (T1 35) (TX 0) (TC 14) (IG 0))
(cyc\[0\] (T0 40) (T1 35) (TX 0) (TC 7) (IG 0))
(cyc\[1\] (T0 40) (T1 35) (TX 0) (TC 3) (IG 0))
(cyc\[2\] (T0 40) (T1 35) (TX 0) (TC 1) (IG 0))
)
)
)
)

3
test_regress/t/t_trace_abort_saif.py
View File

@ -11,8 +11,9 @@ import vltest_bootstrap
test.scenarios('vlt_all') test.scenarios('vlt_all')
test.top_filename = "t/t_trace_abort.v" test.top_filename = "t/t_trace_abort.v"
test.golden_filename = "t/t_trace_abort_saif.out"
test.compile(verilator_flags2=['--cc --trace']) test.compile(verilator_flags2=['--cc --trace-saif'])
test.execute(fails=True) test.execute(fails=True)