diff --git a/test_regress/t/t_trace_saif.out b/test_regress/t/t_trace_saif.out new file mode 100644 index 000000000..e8221ff5c --- /dev/null +++ b/test_regress/t/t_trace_saif.out @@ -0,0 +1,141 @@ +(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)) + (state\[0\] (T0 410) (T1 590) (TX 0) (TC 46)) + (state\[1\] (T0 540) (T1 460) (TX 0) (TC 45)) + (state\[2\] (T0 530) (T1 470) (TX 0) (TC 46)) + (state\[3\] (T0 540) (T1 460) (TX 0) (TC 44)) + (state\[4\] (T0 540) (T1 460) (TX 0) (TC 45)) + ) + (INSTANCE t + (NET + (clk (T0 505) (T1 495) (TX 0) (TC 199)) + (cyc\[0\] (T0 500) (T1 500) (TX 0) (TC 100)) + (cyc\[1\] (T0 500) (T1 500) (TX 0) (TC 50)) + (cyc\[2\] (T0 520) (T1 480) (TX 0) (TC 25)) + (cyc\[3\] (T0 520) (T1 480) (TX 0) (TC 12)) + (cyc\[4\] (T0 520) (T1 480) (TX 0) (TC 6)) + (cyc\[5\] (T0 640) (T1 360) (TX 0) (TC 3)) + (cyc\[6\] (T0 640) (T1 360) (TX 0) (TC 1)) + (rstn (T0 110) (T1 890) (TX 0) (TC 1)) + (state\[0\] (T0 410) (T1 590) (TX 0) (TC 46)) + (state\[1\] (T0 540) (T1 460) (TX 0) (TC 45)) + (state\[2\] (T0 530) (T1 470) (TX 0) (TC 46)) + (state\[3\] (T0 540) (T1 460) (TX 0) (TC 44)) + (state\[4\] (T0 540) (T1 460) (TX 0) (TC 45)) + (fst_longint\[0\] (T0 10) (T1 990) (TX 0) (TC 1)) + (fst_longint\[1\] (T0 10) (T1 990) (TX 0) (TC 1)) + (fst_longint\[2\] (T0 10) (T1 990) (TX 0) (TC 1)) + (fst_longint\[3\] (T0 10) (T1 990) (TX 0) (TC 1)) + (fst_longint\[5\] (T0 10) (T1 990) (TX 0) (TC 1)) + (fst_longint\[6\] (T0 10) (T1 990) (TX 0) (TC 1)) + (fst_longint\[7\] (T0 10) (T1 990) (TX 0) (TC 1)) + (fst_longint\[9\] (T0 10) (T1 990) (TX 0) (TC 1)) + (fst_longint\[10\] (T0 10) (T1 990) (TX 0) (TC 1)) + (fst_longint\[11\] (T0 10) (T1 990) (TX 0) (TC 1)) + (fst_longint\[12\] (T0 10) (T1 990) (TX 0) (TC 1)) + (fst_longint\[13\] (T0 10) (T1 990) (TX 0) (TC 1)) + (fst_longint\[15\] (T0 10) (T1 990) (TX 0) (TC 1)) + (fst_longint\[16\] (T0 10) (T1 990) (TX 0) (TC 1)) + (fst_longint\[17\] (T0 10) (T1 990) (TX 0) (TC 1)) + (fst_longint\[18\] (T0 10) (T1 990) (TX 0) (TC 1)) + (fst_longint\[19\] (T0 10) (T1 990) (TX 0) (TC 1)) + (fst_longint\[21\] (T0 10) (T1 990) (TX 0) (TC 1)) + (fst_longint\[22\] (T0 10) (T1 990) (TX 0) (TC 1)) + (fst_longint\[23\] (T0 10) (T1 990) (TX 0) (TC 1)) + (fst_longint\[25\] (T0 10) (T1 990) (TX 0) (TC 1)) + (fst_longint\[26\] (T0 10) (T1 990) (TX 0) (TC 1)) + (fst_longint\[27\] (T0 10) (T1 990) (TX 0) (TC 1)) + (fst_longint\[28\] (T0 10) (T1 990) (TX 0) (TC 1)) + (fst_longint\[29\] (T0 10) (T1 990) (TX 0) (TC 1)) + (fst_longint\[31\] (T0 10) (T1 990) (TX 0) (TC 1)) + (fst_longint\[32\] (T0 10) (T1 990) (TX 0) (TC 1)) + (fst_longint\[33\] (T0 10) (T1 990) (TX 0) (TC 1)) + (fst_longint\[34\] (T0 10) (T1 990) (TX 0) (TC 1)) + (fst_longint\[35\] (T0 10) (T1 990) (TX 0) (TC 1)) + (fst_longint\[37\] (T0 10) (T1 990) (TX 0) (TC 1)) + (fst_longint\[38\] (T0 10) (T1 990) (TX 0) (TC 1)) + (fst_longint\[39\] (T0 10) (T1 990) (TX 0) (TC 1)) + (fst_longint\[41\] (T0 10) (T1 990) (TX 0) (TC 1)) + (fst_longint\[42\] (T0 10) (T1 990) (TX 0) (TC 1)) + (fst_longint\[43\] (T0 10) (T1 990) (TX 0) (TC 1)) + (fst_longint\[44\] (T0 10) (T1 990) (TX 0) (TC 1)) + (fst_longint\[45\] (T0 10) (T1 990) (TX 0) (TC 1)) + (fst_longint\[47\] (T0 10) (T1 990) (TX 0) (TC 1)) + (fst_longint\[48\] (T0 10) (T1 990) (TX 0) (TC 1)) + (fst_longint\[49\] (T0 10) (T1 990) (TX 0) (TC 1)) + (fst_longint\[50\] (T0 10) (T1 990) (TX 0) (TC 1)) + (fst_longint\[51\] (T0 10) (T1 990) (TX 0) (TC 1)) + (fst_longint\[53\] (T0 10) (T1 990) (TX 0) (TC 1)) + (fst_longint\[54\] (T0 10) (T1 990) (TX 0) (TC 1)) + (fst_longint\[55\] (T0 10) (T1 990) (TX 0) (TC 1)) + (fst_longint\[57\] (T0 10) (T1 990) (TX 0) (TC 1)) + (fst_longint\[58\] (T0 10) (T1 990) (TX 0) (TC 1)) + (fst_longint\[59\] (T0 10) (T1 990) (TX 0) (TC 1)) + (fst_longint\[60\] (T0 10) (T1 990) (TX 0) (TC 1)) + (fst_longint\[61\] (T0 10) (T1 990) (TX 0) (TC 1)) + (fst_longint\[63\] (T0 10) (T1 990) (TX 0) (TC 1)) + (fst_parameter\[0\] (T0 0) (T1 1000) (TX 0) (TC 1)) + (fst_parameter\[1\] (T0 0) (T1 1000) (TX 0) (TC 1)) + (fst_parameter\[3\] (T0 0) (T1 1000) (TX 0) (TC 1)) + (fst_parameter\[4\] (T0 0) (T1 1000) (TX 0) (TC 1)) + (fst_parameter\[5\] (T0 0) (T1 1000) (TX 0) (TC 1)) + (fst_parameter\[6\] (T0 0) (T1 1000) (TX 0) (TC 1)) + (fst_lparam\[3\] (T0 0) (T1 1000) (TX 0) (TC 1)) + (fst_lparam\[6\] (T0 0) (T1 1000) (TX 0) (TC 1)) + (fst_lparam\[7\] (T0 0) (T1 1000) (TX 0) (TC 1)) + (fst_lparam\[8\] (T0 0) (T1 1000) (TX 0) (TC 1)) + (fst_supply1 (T0 0) (T1 1000) (TX 0) (TC 1)) + ) + (INSTANCE test + (NET + (clk (T0 505) (T1 495) (TX 0) (TC 199)) + (rstn (T0 110) (T1 890) (TX 0) (TC 1)) + (state\[0\] (T0 410) (T1 590) (TX 0) (TC 46)) + (state\[1\] (T0 540) (T1 460) (TX 0) (TC 45)) + (state\[2\] (T0 530) (T1 470) (TX 0) (TC 46)) + (state\[3\] (T0 540) (T1 460) (TX 0) (TC 44)) + (state\[4\] (T0 540) (T1 460) (TX 0) (TC 45)) + (state_w\[0\] (T0 530) (T1 470) (TX 0) (TC 46)) + (state_w\[1\] (T0 530) (T1 470) (TX 0) (TC 46)) + (state_w\[2\] (T0 430) (T1 570) (TX 0) (TC 46)) + (state_w\[3\] (T0 530) (T1 470) (TX 0) (TC 47)) + (state_w\[4\] (T0 420) (T1 580) (TX 0) (TC 48)) + (state_array[0]\[0\] (T0 410) (T1 590) (TX 0) (TC 46)) + (state_array[0]\[1\] (T0 540) (T1 460) (TX 0) (TC 45)) + (state_array[0]\[2\] (T0 530) (T1 470) (TX 0) (TC 46)) + (state_array[0]\[3\] (T0 540) (T1 460) (TX 0) (TC 44)) + (state_array[0]\[4\] (T0 540) (T1 460) (TX 0) (TC 45)) + (state_array[1]\[0\] (T0 420) (T1 580) (TX 0) (TC 47)) + (state_array[1]\[1\] (T0 530) (T1 470) (TX 0) (TC 46)) + (state_array[1]\[2\] (T0 530) (T1 470) (TX 0) (TC 46)) + (state_array[1]\[3\] (T0 540) (T1 460) (TX 0) (TC 45)) + (state_array[1]\[4\] (T0 530) (T1 470) (TX 0) (TC 46)) + (state_array[2]\[0\] (T0 420) (T1 580) (TX 0) (TC 48)) + (state_array[2]\[1\] (T0 530) (T1 470) (TX 0) (TC 46)) + (state_array[2]\[2\] (T0 530) (T1 470) (TX 0) (TC 46)) + (state_array[2]\[3\] (T0 530) (T1 470) (TX 0) (TC 46)) + (state_array[2]\[4\] (T0 530) (T1 470) (TX 0) (TC 47)) + ) + (INSTANCE unnamedblk1 + (NET + (i\[0\] (T0 10) (T1 990) (TX 0) (TC 1)) + (i\[1\] (T0 10) (T1 990) (TX 0) (TC 1)) + ) + ) + (INSTANCE unnamedblk2 + (NET + (i\[1\] (T0 120) (T1 880) (TX 0) (TC 1)) + ) + ) + ) + ) +) +) diff --git a/test_regress/t/t_trace_saif.py b/test_regress/t/t_trace_saif.py index c22f2721b..0d5239550 100755 --- a/test_regress/t/t_trace_saif.py +++ b/test_regress/t/t_trace_saif.py @@ -12,6 +12,7 @@ import vltest_bootstrap test.scenarios('vlt_all') test.top_filename = "t/t_trace_saif.v" +test.golden_filename = "t/t_trace_saif.out" test.compile(v_flags2=["--trace-saif"])