From 089ce142ce40c7e70d8ef38772978d23f9ab4f9c Mon Sep 17 00:00:00 2001 From: Mateusz Gancarz Date: Thu, 20 Feb 2025 12:08:00 +0100 Subject: [PATCH] [#73220] add golden file to t_trace_counter_saif test --- test_regress/t/t_trace_counter_saif.out | 53 +++++++++++++++++++++++++ test_regress/t/t_trace_counter_saif.py | 4 +- 2 files changed, 55 insertions(+), 2 deletions(-) create mode 100644 test_regress/t/t_trace_counter_saif.out diff --git a/test_regress/t/t_trace_counter_saif.out b/test_regress/t/t_trace_counter_saif.out new file mode 100644 index 000000000..f6cb01ac8 --- /dev/null +++ b/test_regress/t/t_trace_counter_saif.out @@ -0,0 +1,53 @@ +(SAIFILE +(SAIFVERSION "2.0") +(DIRECTION "backward") +(DESIGN "t") +(DIVIDER / ) +(TIMESCALE 1 ps) +(DURATION 999) + (INSTANCE top + (NET + (clk (T0 505) (T1 495) (TX 0) (TC 199) (IG 0)) + (state[0] (T0 510) (T1 490) (TX 0) (TC 98) (IG 0)) + (state[1] (T0 510) (T1 490) (TX 0) (TC 50) (IG 0)) + (state[2] (T0 520) (T1 480) (TX 0) (TC 24) (IG 0)) + (state[3] (T0 570) (T1 430) (TX 0) (TC 13) (IG 0)) + (state[4] (T0 600) (T1 400) (TX 0) (TC 5) (IG 0)) + (state[5] (T0 680) (T1 320) (TX 0) (TC 2) (IG 0)) + (state[6] (T0 760) (T1 240) (TX 0) (TC 1) (IG 0)) + ) + (INSTANCE t + (NET + (clk (T0 505) (T1 495) (TX 0) (TC 199) (IG 0)) + (rst (T0 20) (T1 980) (TX 0) (TC 3) (IG 0)) + (state[0] (T0 510) (T1 490) (TX 0) (TC 98) (IG 0)) + (state[1] (T0 510) (T1 490) (TX 0) (TC 50) (IG 0)) + (state[2] (T0 520) (T1 480) (TX 0) (TC 24) (IG 0)) + (state[3] (T0 570) (T1 430) (TX 0) (TC 13) (IG 0)) + (state[4] (T0 600) (T1 400) (TX 0) (TC 5) (IG 0)) + (state[5] (T0 680) (T1 320) (TX 0) (TC 2) (IG 0)) + (state[6] (T0 760) (T1 240) (TX 0) (TC 1) (IG 0)) + (cyc[0] (T0 500) (T1 500) (TX 0) (TC 100) (IG 0)) + (cyc[1] (T0 500) (T1 500) (TX 0) (TC 50) (IG 0)) + (cyc[2] (T0 520) (T1 480) (TX 0) (TC 25) (IG 0)) + (cyc[3] (T0 520) (T1 480) (TX 0) (TC 12) (IG 0)) + (cyc[4] (T0 520) (T1 480) (TX 0) (TC 6) (IG 0)) + (cyc[5] (T0 640) (T1 360) (TX 0) (TC 3) (IG 0)) + (cyc[6] (T0 640) (T1 360) (TX 0) (TC 1) (IG 0)) + ) + (INSTANCE c0 + (NET + (clk (T0 505) (T1 495) (TX 0) (TC 199) (IG 0)) + (rst (T0 20) (T1 980) (TX 0) (TC 3) (IG 0)) + (out[0] (T0 510) (T1 490) (TX 0) (TC 98) (IG 0)) + (out[1] (T0 510) (T1 490) (TX 0) (TC 50) (IG 0)) + (out[2] (T0 520) (T1 480) (TX 0) (TC 24) (IG 0)) + (out[3] (T0 570) (T1 430) (TX 0) (TC 13) (IG 0)) + (out[4] (T0 600) (T1 400) (TX 0) (TC 5) (IG 0)) + (out[5] (T0 680) (T1 320) (TX 0) (TC 2) (IG 0)) + (out[6] (T0 760) (T1 240) (TX 0) (TC 1) (IG 0)) + ) + ) + ) + ) +) diff --git a/test_regress/t/t_trace_counter_saif.py b/test_regress/t/t_trace_counter_saif.py index c551cc91d..a2b44bb85 100755 --- a/test_regress/t/t_trace_counter_saif.py +++ b/test_regress/t/t_trace_counter_saif.py @@ -11,12 +11,12 @@ import vltest_bootstrap test.scenarios('vlt') test.top_filename = "t/t_trace_counter.v" +test.golden_filename = "t/t_trace_counter_saif.out" test.compile(verilator_flags2=['--cc --trace-saif']) test.execute() -#TODO: add function checking if two SAIF files are identical -#test.saif_identical(test.trace_filename, test.golden_filename) +test.saif_identical(test.trace_filename, test.golden_filename) test.passes()