diff --git a/test_regress/t/t_trace_param_saif.py b/test_regress/t/t_trace_param_saif.py index a4d4e4442..d871baf85 100755 --- a/test_regress/t/t_trace_param_saif.py +++ b/test_regress/t/t_trace_param_saif.py @@ -16,4 +16,6 @@ test.compile(v_flags2=["--trace-saif"]) test.execute() +test.saif_identical(test.trace_filename, test.golden_filename) + test.passes() diff --git a/test_regress/t/t_trace_primitive_saif.out b/test_regress/t/t_trace_primitive_saif.out new file mode 100644 index 000000000..39a169f4f --- /dev/null +++ b/test_regress/t/t_trace_primitive_saif.out @@ -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)) + ) + ) + ) + ) +) diff --git a/test_regress/t/t_trace_primitive_saif.py b/test_regress/t/t_trace_primitive_saif.py index bd8070457..d2f3be21e 100755 --- a/test_regress/t/t_trace_primitive_saif.py +++ b/test_regress/t/t_trace_primitive_saif.py @@ -16,4 +16,6 @@ test.compile(v_flags2=["--trace-saif"]) test.execute() +test.saif_identical(test.trace_filename, test.golden_filename) + test.passes()