From 536c5fe293c82eba6387911ea76a7fbda34abd69 Mon Sep 17 00:00:00 2001 From: Mateusz Gancarz Date: Fri, 21 Feb 2025 11:53:54 +0100 Subject: [PATCH] [#73220] add t_interface_ref_trace_saif test with golden file --- test_regress/t/t_interface_ref_trace_saif.out | 1068 +++++++++++++++-- test_regress/t/t_interface_ref_trace_saif.py | 1 + 2 files changed, 964 insertions(+), 105 deletions(-) diff --git a/test_regress/t/t_interface_ref_trace_saif.out b/test_regress/t/t_interface_ref_trace_saif.out index 560344c41..1620d7709 100644 --- a/test_regress/t/t_interface_ref_trace_saif.out +++ b/test_regress/t/t_interface_ref_trace_saif.out @@ -1,109 +1,967 @@ (SAIFILE (SAIFVERSION "2.0") (DIRECTION "backward") -(DESIGN "foo") -(PROGRAM_NAME "Verilator") -(VERSION "5.032") -(DIVIDER .) -(TIMESCALE 1ps) +(DESIGN "t") +(DIVIDER / ) +(TIMESCALE 1 ps) (DURATION 210) -(INSTANCE foo (NET -(val200[0] (T0 110) (T1 100) (TZ 0) (TX 0) (TB 0) (TC 21)) -(val200[1] (T0 100) (T1 110) (TZ 0) (TX 0) (TB 0) (TC 11)) -(val200[2] (T0 100) (T1 110) (TZ 0) (TX 0) (TB 0) (TC 5)) -(val200[3] (T0 130) (T1 80) (TZ 0) (TX 0) (TB 0) (TC 2)) -(val200[4] (T0 70) (T1 140) (TZ 0) (TX 0) (TB 0) (TC 2)) -(val200[5] (T0 70) (T1 140) (TZ 0) (TX 0) (TB 0) (TC 2)) -(val200[6] (T0 140) (T1 70) (TZ 0) (TX 0) (TB 0) (TC 1)) -(val200[7] (T0 0) (T1 210) (TZ 0) (TX 0) (TB 0) (TC 1)) -(val200[10] (T0 0) (T1 210) (TZ 0) (TX 0) (TB 0) (TC 1)) -(val100[0] (T0 110) (T1 100) (TZ 0) (TX 0) (TB 0) (TC 21)) -(val100[1] (T0 100) (T1 110) (TZ 0) (TX 0) (TB 0) (TC 11)) -(val100[2] (T0 110) (T1 100) (TZ 0) (TX 0) (TB 0) (TC 6)) -(val100[3] (T0 110) (T1 100) (TZ 0) (TX 0) (TB 0) (TC 4)) -(val100[4] (T0 50) (T1 160) (TZ 0) (TX 0) (TB 0) (TC 2)) -(val100[5] (T0 180) (T1 30) (TZ 0) (TX 0) (TB 0) (TC 1)) -(val100[6] (T0 0) (T1 210) (TZ 0) (TX 0) (TB 0) (TC 1)) -(val100[10] (T0 0) (T1 210) (TZ 0) (TX 0) (TB 0) (TC 1)) -(value[0] (T0 110) (T1 100) (TZ 0) (TX 0) (TB 0) (TC 21)) -(value[1] (T0 100) (T1 110) (TZ 0) (TX 0) (TB 0) (TC 11)) -(value[2] (T0 100) (T1 110) (TZ 0) (TX 0) (TB 0) (TC 5)) -(value[3] (T0 80) (T1 130) (TZ 0) (TX 0) (TB 0) (TC 3)) -(value[4] (T0 60) (T1 150) (TZ 0) (TX 0) (TB 0) (TC 1)) -(value[5] (T0 0) (T1 210) (TZ 0) (TX 0) (TB 0) (TC 1)) -(value[6] (T0 0) (T1 210) (TZ 0) (TX 0) (TB 0) (TC 1)) -(value[7] (T0 0) (T1 210) (TZ 0) (TX 0) (TB 0) (TC 1)) -(value[8] (T0 0) (T1 210) (TZ 0) (TX 0) (TB 0) (TC 1)) -(value[9] (T0 0) (T1 210) (TZ 0) (TX 0) (TB 0) (TC 1)) -(clk (T0 110) (T1 100) (TZ 0) (TX 0) (TB 0) (TC 41)) -(cyc[0] (T0 110) (T1 100) (TZ 0) (TX 0) (TB 0) (TC 21)) -(cyc[1] (T0 110) (T1 100) (TZ 0) (TX 0) (TB 0) (TC 10)) -(cyc[2] (T0 120) (T1 90) (TZ 0) (TX 0) (TB 0) (TC 5)) -(cyc[3] (T0 130) (T1 80) (TZ 0) (TX 0) (TB 0) (TC 2)) -(cyc[4] (T0 160) (T1 50) (TZ 0) (TX 0) (TB 0) (TC 1)) -(value[0] (T0 100) (T1 110) (TZ 0) (TX 0) (TB 0) (TC 22)) -(value[1] (T0 110) (T1 100) (TZ 0) (TX 0) (TB 0) (TC 11)) -(value[2] (T0 110) (T1 100) (TZ 0) (TX 0) (TB 0) (TC 5)) -(value[3] (T0 130) (T1 80) (TZ 0) (TX 0) (TB 0) (TC 2)) -(value[4] (T0 150) (T1 60) (TZ 0) (TX 0) (TB 0) (TC 1)) -(val100[0] (T0 100) (T1 110) (TZ 0) (TX 0) (TB 0) (TC 22)) -(val100[1] (T0 110) (T1 100) (TZ 0) (TX 0) (TB 0) (TC 11)) -(val100[2] (T0 100) (T1 110) (TZ 0) (TX 0) (TB 0) (TC 6)) -(val100[3] (T0 110) (T1 100) (TZ 0) (TX 0) (TB 0) (TC 3)) -(val100[4] (T0 110) (T1 100) (TZ 0) (TX 0) (TB 0) (TC 1)) -(val100[5] (T0 0) (T1 210) (TZ 0) (TX 0) (TB 0) (TC 1)) -(val100[6] (T0 0) (T1 210) (TZ 0) (TX 0) (TB 0) (TC 1)) -(val200[0] (T0 100) (T1 110) (TZ 0) (TX 0) (TB 0) (TC 22)) -(val200[1] (T0 110) (T1 100) (TZ 0) (TX 0) (TB 0) (TC 11)) -(val200[2] (T0 110) (T1 100) (TZ 0) (TX 0) (TB 0) (TC 5)) -(val200[3] (T0 80) (T1 130) (TZ 0) (TX 0) (TB 0) (TC 3)) -(val200[4] (T0 70) (T1 140) (TZ 0) (TX 0) (TB 0) (TC 1)) -(val200[6] (T0 0) (T1 210) (TZ 0) (TX 0) (TB 0) (TC 1)) -(val200[7] (T0 0) (T1 210) (TZ 0) (TX 0) (TB 0) (TC 1)) -(value[0] (T0 110) (T1 100) (TZ 0) (TX 0) (TB 0) (TC 21)) -(value[1] (T0 100) (T1 110) (TZ 0) (TX 0) (TB 0) (TC 11)) -(value[2] (T0 100) (T1 110) (TZ 0) (TX 0) (TB 0) (TC 5)) -(value[3] (T0 130) (T1 80) (TZ 0) (TX 0) (TB 0) (TC 2)) -(value[4] (T0 140) (T1 70) (TZ 0) (TX 0) (TB 0) (TC 1)) -(val100[0] (T0 110) (T1 100) (TZ 0) (TX 0) (TB 0) (TC 21)) -(val100[1] (T0 100) (T1 110) (TZ 0) (TX 0) (TB 0) (TC 11)) -(val100[2] (T0 110) (T1 100) (TZ 0) (TX 0) (TB 0) (TC 6)) -(val100[3] (T0 100) (T1 110) (TZ 0) (TX 0) (TB 0) (TC 3)) -(val100[4] (T0 100) (T1 110) (TZ 0) (TX 0) (TB 0) (TC 1)) -(val100[5] (T0 0) (T1 210) (TZ 0) (TX 0) (TB 0) (TC 1)) -(val100[6] (T0 0) (T1 210) (TZ 0) (TX 0) (TB 0) (TC 1)) -(val200[0] (T0 110) (T1 100) (TZ 0) (TX 0) (TB 0) (TC 21)) -(val200[1] (T0 100) (T1 110) (TZ 0) (TX 0) (TB 0) (TC 11)) -(val200[2] (T0 100) (T1 110) (TZ 0) (TX 0) (TB 0) (TC 5)) -(val200[3] (T0 80) (T1 130) (TZ 0) (TX 0) (TB 0) (TC 3)) -(val200[4] (T0 60) (T1 150) (TZ 0) (TX 0) (TB 0) (TC 1)) -(val200[6] (T0 0) (T1 210) (TZ 0) (TX 0) (TB 0) (TC 1)) -(val200[7] (T0 0) (T1 210) (TZ 0) (TX 0) (TB 0) (TC 1)) -(value[0] (T0 100) (T1 110) (TZ 0) (TX 0) (TB 0) (TC 22)) -(value[1] (T0 110) (T1 100) (TZ 0) (TX 0) (TB 0) (TC 11)) -(value[2] (T0 110) (T1 100) (TZ 0) (TX 0) (TB 0) (TC 5)) -(value[3] (T0 80) (T1 130) (TZ 0) (TX 0) (TB 0) (TC 3)) -(value[4] (T0 70) (T1 140) (TZ 0) (TX 0) (TB 0) (TC 1)) -(value[5] (T0 0) (T1 210) (TZ 0) (TX 0) (TB 0) (TC 1)) -(value[6] (T0 0) (T1 210) (TZ 0) (TX 0) (TB 0) (TC 1)) -(value[7] (T0 0) (T1 210) (TZ 0) (TX 0) (TB 0) (TC 1)) -(value[8] (T0 0) (T1 210) (TZ 0) (TX 0) (TB 0) (TC 1)) -(value[9] (T0 0) (T1 210) (TZ 0) (TX 0) (TB 0) (TC 1)) -(val100[0] (T0 100) (T1 110) (TZ 0) (TX 0) (TB 0) (TC 22)) -(val100[1] (T0 110) (T1 100) (TZ 0) (TX 0) (TB 0) (TC 11)) -(val100[2] (T0 100) (T1 110) (TZ 0) (TX 0) (TB 0) (TC 6)) -(val100[3] (T0 100) (T1 110) (TZ 0) (TX 0) (TB 0) (TC 4)) -(val100[4] (T0 50) (T1 160) (TZ 0) (TX 0) (TB 0) (TC 2)) -(val100[5] (T0 190) (T1 20) (TZ 0) (TX 0) (TB 0) (TC 1)) -(val100[6] (T0 0) (T1 210) (TZ 0) (TX 0) (TB 0) (TC 1)) -(val100[10] (T0 0) (T1 210) (TZ 0) (TX 0) (TB 0) (TC 1)) -(val200[0] (T0 100) (T1 110) (TZ 0) (TX 0) (TB 0) (TC 22)) -(val200[1] (T0 110) (T1 100) (TZ 0) (TX 0) (TB 0) (TC 11)) -(val200[2] (T0 110) (T1 100) (TZ 0) (TX 0) (TB 0) (TC 5)) -(val200[3] (T0 130) (T1 80) (TZ 0) (TX 0) (TB 0) (TC 2)) -(val200[4] (T0 60) (T1 150) (TZ 0) (TX 0) (TB 0) (TC 2)) -(val200[5] (T0 60) (T1 150) (TZ 0) (TX 0) (TB 0) (TC 2)) -(val200[6] (T0 150) (T1 60) (TZ 0) (TX 0) (TB 0) (TC 1)) -(val200[7] (T0 0) (T1 210) (TZ 0) (TX 0) (TB 0) (TC 1)) -(val200[10] (T0 0) (T1 210) (TZ 0) (TX 0) (TB 0) (TC 1)) -))) +(INSTANCE top + (NET + (clk (T0 110) (T1 100) (TX 0) (TC 41)) + ) + (INSTANCE t + (NET + (clk (T0 110) (T1 100) (TX 0) (TC 41)) + (cyc\[0\] (T0 110) (T1 100) (TX 0) (TC 21)) + (cyc\[1\] (T0 110) (T1 100) (TX 0) (TC 10)) + (cyc\[2\] (T0 120) (T1 90) (TX 0) (TC 5)) + (cyc\[3\] (T0 130) (T1 80) (TX 0) (TC 2)) + (cyc\[4\] (T0 160) (T1 50) (TX 0) (TC 1)) + ) + (INSTANCE intf_1 + (NET + (clk (T0 110) (T1 100) (TX 0) (TC 41)) + (cyc\[0\] (T0 110) (T1 100) (TX 0) (TC 21)) + (cyc\[1\] (T0 110) (T1 100) (TX 0) (TC 10)) + (cyc\[2\] (T0 120) (T1 90) (TX 0) (TC 5)) + (cyc\[3\] (T0 130) (T1 80) (TX 0) (TC 2)) + (cyc\[4\] (T0 160) (T1 50) (TX 0) (TC 1)) + (value\[0\] (T0 100) (T1 110) (TX 0) (TC 22)) + (value\[1\] (T0 110) (T1 100) (TX 0) (TC 11)) + (value\[2\] (T0 110) (T1 100) (TX 0) (TC 5)) + (value\[3\] (T0 130) (T1 80) (TX 0) (TC 2)) + (value\[4\] (T0 150) (T1 60) (TX 0) (TC 1)) + ) + (INSTANCE the_struct + (NET + (val100\[0\] (T0 100) (T1 110) (TX 0) (TC 22)) + (val100\[1\] (T0 110) (T1 100) (TX 0) (TC 11)) + (val100\[2\] (T0 100) (T1 110) (TX 0) (TC 6)) + (val100\[3\] (T0 110) (T1 100) (TX 0) (TC 3)) + (val100\[4\] (T0 110) (T1 100) (TX 0) (TC 1)) + (val100\[5\] (T0 0) (T1 210) (TX 0) (TC 1)) + (val100\[6\] (T0 0) (T1 210) (TX 0) (TC 1)) + (val200\[0\] (T0 100) (T1 110) (TX 0) (TC 22)) + (val200\[1\] (T0 110) (T1 100) (TX 0) (TC 11)) + (val200\[2\] (T0 110) (T1 100) (TX 0) (TC 5)) + (val200\[3\] (T0 80) (T1 130) (TX 0) (TC 3)) + (val200\[4\] (T0 70) (T1 140) (TX 0) (TC 1)) + (val200\[6\] (T0 0) (T1 210) (TX 0) (TC 1)) + (val200\[7\] (T0 0) (T1 210) (TX 0) (TC 1)) + ) + ) + (INSTANCE inner + (NET + (cyc\[0\] (T0 110) (T1 100) (TX 0) (TC 21)) + (cyc\[1\] (T0 110) (T1 100) (TX 0) (TC 10)) + (cyc\[2\] (T0 120) (T1 90) (TX 0) (TC 5)) + (cyc\[3\] (T0 130) (T1 80) (TX 0) (TC 2)) + (cyc\[4\] (T0 160) (T1 50) (TX 0) (TC 1)) + ) + ) + ) + (INSTANCE intf_2 + (NET + (clk (T0 110) (T1 100) (TX 0) (TC 41)) + (cyc\[0\] (T0 110) (T1 100) (TX 0) (TC 21)) + (cyc\[1\] (T0 110) (T1 100) (TX 0) (TC 10)) + (cyc\[2\] (T0 120) (T1 90) (TX 0) (TC 5)) + (cyc\[3\] (T0 130) (T1 80) (TX 0) (TC 2)) + (cyc\[4\] (T0 160) (T1 50) (TX 0) (TC 1)) + (value\[0\] (T0 110) (T1 100) (TX 0) (TC 21)) + (value\[1\] (T0 100) (T1 110) (TX 0) (TC 11)) + (value\[2\] (T0 100) (T1 110) (TX 0) (TC 5)) + (value\[3\] (T0 130) (T1 80) (TX 0) (TC 2)) + (value\[4\] (T0 140) (T1 70) (TX 0) (TC 1)) + ) + (INSTANCE the_struct + (NET + (val100\[0\] (T0 110) (T1 100) (TX 0) (TC 21)) + (val100\[1\] (T0 100) (T1 110) (TX 0) (TC 11)) + (val100\[2\] (T0 110) (T1 100) (TX 0) (TC 6)) + (val100\[3\] (T0 100) (T1 110) (TX 0) (TC 3)) + (val100\[4\] (T0 100) (T1 110) (TX 0) (TC 1)) + (val100\[5\] (T0 0) (T1 210) (TX 0) (TC 1)) + (val100\[6\] (T0 0) (T1 210) (TX 0) (TC 1)) + (val200\[0\] (T0 110) (T1 100) (TX 0) (TC 21)) + (val200\[1\] (T0 100) (T1 110) (TX 0) (TC 11)) + (val200\[2\] (T0 100) (T1 110) (TX 0) (TC 5)) + (val200\[3\] (T0 80) (T1 130) (TX 0) (TC 3)) + (val200\[4\] (T0 60) (T1 150) (TX 0) (TC 1)) + (val200\[6\] (T0 0) (T1 210) (TX 0) (TC 1)) + (val200\[7\] (T0 0) (T1 210) (TX 0) (TC 1)) + ) + ) + (INSTANCE inner + (NET + (cyc\[0\] (T0 110) (T1 100) (TX 0) (TC 21)) + (cyc\[1\] (T0 110) (T1 100) (TX 0) (TC 10)) + (cyc\[2\] (T0 120) (T1 90) (TX 0) (TC 5)) + (cyc\[3\] (T0 130) (T1 80) (TX 0) (TC 2)) + (cyc\[4\] (T0 160) (T1 50) (TX 0) (TC 1)) + ) + ) + ) + (INSTANCE a + (NET + ) + (INSTANCE intf_one + (NET + (clk (T0 110) (T1 100) (TX 0) (TC 41)) + (cyc\[0\] (T0 110) (T1 100) (TX 0) (TC 21)) + (cyc\[1\] (T0 110) (T1 100) (TX 0) (TC 10)) + (cyc\[2\] (T0 120) (T1 90) (TX 0) (TC 5)) + (cyc\[3\] (T0 130) (T1 80) (TX 0) (TC 2)) + (cyc\[4\] (T0 160) (T1 50) (TX 0) (TC 1)) + (value\[0\] (T0 100) (T1 110) (TX 0) (TC 22)) + (value\[1\] (T0 110) (T1 100) (TX 0) (TC 11)) + (value\[2\] (T0 110) (T1 100) (TX 0) (TC 5)) + (value\[3\] (T0 130) (T1 80) (TX 0) (TC 2)) + (value\[4\] (T0 150) (T1 60) (TX 0) (TC 1)) + ) + (INSTANCE the_struct + (NET + (val100\[0\] (T0 100) (T1 110) (TX 0) (TC 22)) + (val100\[1\] (T0 110) (T1 100) (TX 0) (TC 11)) + (val100\[2\] (T0 100) (T1 110) (TX 0) (TC 6)) + (val100\[3\] (T0 110) (T1 100) (TX 0) (TC 3)) + (val100\[4\] (T0 110) (T1 100) (TX 0) (TC 1)) + (val100\[5\] (T0 0) (T1 210) (TX 0) (TC 1)) + (val100\[6\] (T0 0) (T1 210) (TX 0) (TC 1)) + (val200\[0\] (T0 100) (T1 110) (TX 0) (TC 22)) + (val200\[1\] (T0 110) (T1 100) (TX 0) (TC 11)) + (val200\[2\] (T0 110) (T1 100) (TX 0) (TC 5)) + (val200\[3\] (T0 80) (T1 130) (TX 0) (TC 3)) + (val200\[4\] (T0 70) (T1 140) (TX 0) (TC 1)) + (val200\[6\] (T0 0) (T1 210) (TX 0) (TC 1)) + (val200\[7\] (T0 0) (T1 210) (TX 0) (TC 1)) + ) + ) + (INSTANCE inner + (NET + (cyc\[0\] (T0 110) (T1 100) (TX 0) (TC 21)) + (cyc\[1\] (T0 110) (T1 100) (TX 0) (TC 10)) + (cyc\[2\] (T0 120) (T1 90) (TX 0) (TC 5)) + (cyc\[3\] (T0 130) (T1 80) (TX 0) (TC 2)) + (cyc\[4\] (T0 160) (T1 50) (TX 0) (TC 1)) + ) + ) + ) + (INSTANCE intf_two + (NET + (clk (T0 110) (T1 100) (TX 0) (TC 41)) + (cyc\[0\] (T0 110) (T1 100) (TX 0) (TC 21)) + (cyc\[1\] (T0 110) (T1 100) (TX 0) (TC 10)) + (cyc\[2\] (T0 120) (T1 90) (TX 0) (TC 5)) + (cyc\[3\] (T0 130) (T1 80) (TX 0) (TC 2)) + (cyc\[4\] (T0 160) (T1 50) (TX 0) (TC 1)) + (value\[0\] (T0 110) (T1 100) (TX 0) (TC 21)) + (value\[1\] (T0 100) (T1 110) (TX 0) (TC 11)) + (value\[2\] (T0 100) (T1 110) (TX 0) (TC 5)) + (value\[3\] (T0 130) (T1 80) (TX 0) (TC 2)) + (value\[4\] (T0 140) (T1 70) (TX 0) (TC 1)) + ) + (INSTANCE the_struct + (NET + (val100\[0\] (T0 110) (T1 100) (TX 0) (TC 21)) + (val100\[1\] (T0 100) (T1 110) (TX 0) (TC 11)) + (val100\[2\] (T0 110) (T1 100) (TX 0) (TC 6)) + (val100\[3\] (T0 100) (T1 110) (TX 0) (TC 3)) + (val100\[4\] (T0 100) (T1 110) (TX 0) (TC 1)) + (val100\[5\] (T0 0) (T1 210) (TX 0) (TC 1)) + (val100\[6\] (T0 0) (T1 210) (TX 0) (TC 1)) + (val200\[0\] (T0 110) (T1 100) (TX 0) (TC 21)) + (val200\[1\] (T0 100) (T1 110) (TX 0) (TC 11)) + (val200\[2\] (T0 100) (T1 110) (TX 0) (TC 5)) + (val200\[3\] (T0 80) (T1 130) (TX 0) (TC 3)) + (val200\[4\] (T0 60) (T1 150) (TX 0) (TC 1)) + (val200\[6\] (T0 0) (T1 210) (TX 0) (TC 1)) + (val200\[7\] (T0 0) (T1 210) (TX 0) (TC 1)) + ) + ) + (INSTANCE inner + (NET + (cyc\[0\] (T0 110) (T1 100) (TX 0) (TC 21)) + (cyc\[1\] (T0 110) (T1 100) (TX 0) (TC 10)) + (cyc\[2\] (T0 120) (T1 90) (TX 0) (TC 5)) + (cyc\[3\] (T0 130) (T1 80) (TX 0) (TC 2)) + (cyc\[4\] (T0 160) (T1 50) (TX 0) (TC 1)) + ) + ) + ) + (INSTANCE intf_in_sub_all + (NET + (clk (T0 110) (T1 100) (TX 0) (TC 41)) + (cyc\[0\] (T0 110) (T1 100) (TX 0) (TC 21)) + (cyc\[1\] (T0 110) (T1 100) (TX 0) (TC 10)) + (cyc\[2\] (T0 120) (T1 90) (TX 0) (TC 5)) + (cyc\[3\] (T0 130) (T1 80) (TX 0) (TC 2)) + (cyc\[4\] (T0 160) (T1 50) (TX 0) (TC 1)) + (value\[0\] (T0 100) (T1 110) (TX 0) (TC 22)) + (value\[1\] (T0 110) (T1 100) (TX 0) (TC 11)) + (value\[2\] (T0 110) (T1 100) (TX 0) (TC 5)) + (value\[3\] (T0 80) (T1 130) (TX 0) (TC 3)) + (value\[4\] (T0 70) (T1 140) (TX 0) (TC 1)) + (value\[5\] (T0 0) (T1 210) (TX 0) (TC 1)) + (value\[6\] (T0 0) (T1 210) (TX 0) (TC 1)) + (value\[7\] (T0 0) (T1 210) (TX 0) (TC 1)) + (value\[8\] (T0 0) (T1 210) (TX 0) (TC 1)) + (value\[9\] (T0 0) (T1 210) (TX 0) (TC 1)) + ) + (INSTANCE the_struct + (NET + (val100\[0\] (T0 100) (T1 110) (TX 0) (TC 22)) + (val100\[1\] (T0 110) (T1 100) (TX 0) (TC 11)) + (val100\[2\] (T0 100) (T1 110) (TX 0) (TC 6)) + (val100\[3\] (T0 100) (T1 110) (TX 0) (TC 4)) + (val100\[4\] (T0 50) (T1 160) (TX 0) (TC 2)) + (val100\[5\] (T0 190) (T1 20) (TX 0) (TC 1)) + (val100\[6\] (T0 0) (T1 210) (TX 0) (TC 1)) + (val100\[10\] (T0 0) (T1 210) (TX 0) (TC 1)) + (val200\[0\] (T0 100) (T1 110) (TX 0) (TC 22)) + (val200\[1\] (T0 110) (T1 100) (TX 0) (TC 11)) + (val200\[2\] (T0 110) (T1 100) (TX 0) (TC 5)) + (val200\[3\] (T0 130) (T1 80) (TX 0) (TC 2)) + (val200\[4\] (T0 60) (T1 150) (TX 0) (TC 2)) + (val200\[5\] (T0 60) (T1 150) (TX 0) (TC 2)) + (val200\[6\] (T0 150) (T1 60) (TX 0) (TC 1)) + (val200\[7\] (T0 0) (T1 210) (TX 0) (TC 1)) + (val200\[10\] (T0 0) (T1 210) (TX 0) (TC 1)) + ) + ) + (INSTANCE inner + (NET + (cyc\[0\] (T0 110) (T1 100) (TX 0) (TC 21)) + (cyc\[1\] (T0 110) (T1 100) (TX 0) (TC 10)) + (cyc\[2\] (T0 120) (T1 90) (TX 0) (TC 5)) + (cyc\[3\] (T0 130) (T1 80) (TX 0) (TC 2)) + (cyc\[4\] (T0 160) (T1 50) (TX 0) (TC 1)) + ) + ) + ) + (INSTANCE ac1 + (NET + ) + (INSTANCE intf_for_check + (NET + (clk (T0 110) (T1 100) (TX 0) (TC 41)) + (cyc\[0\] (T0 110) (T1 100) (TX 0) (TC 21)) + (cyc\[1\] (T0 110) (T1 100) (TX 0) (TC 10)) + (cyc\[2\] (T0 120) (T1 90) (TX 0) (TC 5)) + (cyc\[3\] (T0 130) (T1 80) (TX 0) (TC 2)) + (cyc\[4\] (T0 160) (T1 50) (TX 0) (TC 1)) + (value\[0\] (T0 100) (T1 110) (TX 0) (TC 22)) + (value\[1\] (T0 110) (T1 100) (TX 0) (TC 11)) + (value\[2\] (T0 110) (T1 100) (TX 0) (TC 5)) + (value\[3\] (T0 130) (T1 80) (TX 0) (TC 2)) + (value\[4\] (T0 150) (T1 60) (TX 0) (TC 1)) + ) + (INSTANCE the_struct + (NET + (val100\[0\] (T0 100) (T1 110) (TX 0) (TC 22)) + (val100\[1\] (T0 110) (T1 100) (TX 0) (TC 11)) + (val100\[2\] (T0 100) (T1 110) (TX 0) (TC 6)) + (val100\[3\] (T0 110) (T1 100) (TX 0) (TC 3)) + (val100\[4\] (T0 110) (T1 100) (TX 0) (TC 1)) + (val100\[5\] (T0 0) (T1 210) (TX 0) (TC 1)) + (val100\[6\] (T0 0) (T1 210) (TX 0) (TC 1)) + (val200\[0\] (T0 100) (T1 110) (TX 0) (TC 22)) + (val200\[1\] (T0 110) (T1 100) (TX 0) (TC 11)) + (val200\[2\] (T0 110) (T1 100) (TX 0) (TC 5)) + (val200\[3\] (T0 80) (T1 130) (TX 0) (TC 3)) + (val200\[4\] (T0 70) (T1 140) (TX 0) (TC 1)) + (val200\[6\] (T0 0) (T1 210) (TX 0) (TC 1)) + (val200\[7\] (T0 0) (T1 210) (TX 0) (TC 1)) + ) + ) + (INSTANCE inner + (NET + (cyc\[0\] (T0 110) (T1 100) (TX 0) (TC 21)) + (cyc\[1\] (T0 110) (T1 100) (TX 0) (TC 10)) + (cyc\[2\] (T0 120) (T1 90) (TX 0) (TC 5)) + (cyc\[3\] (T0 130) (T1 80) (TX 0) (TC 2)) + (cyc\[4\] (T0 160) (T1 50) (TX 0) (TC 1)) + ) + ) + ) + ) + (INSTANCE ac2 + (NET + ) + (INSTANCE intf_for_check + (NET + (clk (T0 110) (T1 100) (TX 0) (TC 41)) + (cyc\[0\] (T0 110) (T1 100) (TX 0) (TC 21)) + (cyc\[1\] (T0 110) (T1 100) (TX 0) (TC 10)) + (cyc\[2\] (T0 120) (T1 90) (TX 0) (TC 5)) + (cyc\[3\] (T0 130) (T1 80) (TX 0) (TC 2)) + (cyc\[4\] (T0 160) (T1 50) (TX 0) (TC 1)) + (value\[0\] (T0 110) (T1 100) (TX 0) (TC 21)) + (value\[1\] (T0 100) (T1 110) (TX 0) (TC 11)) + (value\[2\] (T0 100) (T1 110) (TX 0) (TC 5)) + (value\[3\] (T0 130) (T1 80) (TX 0) (TC 2)) + (value\[4\] (T0 140) (T1 70) (TX 0) (TC 1)) + ) + (INSTANCE the_struct + (NET + (val100\[0\] (T0 110) (T1 100) (TX 0) (TC 21)) + (val100\[1\] (T0 100) (T1 110) (TX 0) (TC 11)) + (val100\[2\] (T0 110) (T1 100) (TX 0) (TC 6)) + (val100\[3\] (T0 100) (T1 110) (TX 0) (TC 3)) + (val100\[4\] (T0 100) (T1 110) (TX 0) (TC 1)) + (val100\[5\] (T0 0) (T1 210) (TX 0) (TC 1)) + (val100\[6\] (T0 0) (T1 210) (TX 0) (TC 1)) + (val200\[0\] (T0 110) (T1 100) (TX 0) (TC 21)) + (val200\[1\] (T0 100) (T1 110) (TX 0) (TC 11)) + (val200\[2\] (T0 100) (T1 110) (TX 0) (TC 5)) + (val200\[3\] (T0 80) (T1 130) (TX 0) (TC 3)) + (val200\[4\] (T0 60) (T1 150) (TX 0) (TC 1)) + (val200\[6\] (T0 0) (T1 210) (TX 0) (TC 1)) + (val200\[7\] (T0 0) (T1 210) (TX 0) (TC 1)) + ) + ) + (INSTANCE inner + (NET + (cyc\[0\] (T0 110) (T1 100) (TX 0) (TC 21)) + (cyc\[1\] (T0 110) (T1 100) (TX 0) (TC 10)) + (cyc\[2\] (T0 120) (T1 90) (TX 0) (TC 5)) + (cyc\[3\] (T0 130) (T1 80) (TX 0) (TC 2)) + (cyc\[4\] (T0 160) (T1 50) (TX 0) (TC 1)) + ) + ) + ) + ) + (INSTANCE ac3 + (NET + ) + (INSTANCE intf_for_check + (NET + (clk (T0 110) (T1 100) (TX 0) (TC 41)) + (cyc\[0\] (T0 110) (T1 100) (TX 0) (TC 21)) + (cyc\[1\] (T0 110) (T1 100) (TX 0) (TC 10)) + (cyc\[2\] (T0 120) (T1 90) (TX 0) (TC 5)) + (cyc\[3\] (T0 130) (T1 80) (TX 0) (TC 2)) + (cyc\[4\] (T0 160) (T1 50) (TX 0) (TC 1)) + (value\[0\] (T0 100) (T1 110) (TX 0) (TC 22)) + (value\[1\] (T0 110) (T1 100) (TX 0) (TC 11)) + (value\[2\] (T0 110) (T1 100) (TX 0) (TC 5)) + (value\[3\] (T0 80) (T1 130) (TX 0) (TC 3)) + (value\[4\] (T0 70) (T1 140) (TX 0) (TC 1)) + (value\[5\] (T0 0) (T1 210) (TX 0) (TC 1)) + (value\[6\] (T0 0) (T1 210) (TX 0) (TC 1)) + (value\[7\] (T0 0) (T1 210) (TX 0) (TC 1)) + (value\[8\] (T0 0) (T1 210) (TX 0) (TC 1)) + (value\[9\] (T0 0) (T1 210) (TX 0) (TC 1)) + ) + (INSTANCE the_struct + (NET + (val100\[0\] (T0 100) (T1 110) (TX 0) (TC 22)) + (val100\[1\] (T0 110) (T1 100) (TX 0) (TC 11)) + (val100\[2\] (T0 100) (T1 110) (TX 0) (TC 6)) + (val100\[3\] (T0 100) (T1 110) (TX 0) (TC 4)) + (val100\[4\] (T0 50) (T1 160) (TX 0) (TC 2)) + (val100\[5\] (T0 190) (T1 20) (TX 0) (TC 1)) + (val100\[6\] (T0 0) (T1 210) (TX 0) (TC 1)) + (val100\[10\] (T0 0) (T1 210) (TX 0) (TC 1)) + (val200\[0\] (T0 100) (T1 110) (TX 0) (TC 22)) + (val200\[1\] (T0 110) (T1 100) (TX 0) (TC 11)) + (val200\[2\] (T0 110) (T1 100) (TX 0) (TC 5)) + (val200\[3\] (T0 130) (T1 80) (TX 0) (TC 2)) + (val200\[4\] (T0 60) (T1 150) (TX 0) (TC 2)) + (val200\[5\] (T0 60) (T1 150) (TX 0) (TC 2)) + (val200\[6\] (T0 150) (T1 60) (TX 0) (TC 1)) + (val200\[7\] (T0 0) (T1 210) (TX 0) (TC 1)) + (val200\[10\] (T0 0) (T1 210) (TX 0) (TC 1)) + ) + ) + (INSTANCE inner + (NET + (cyc\[0\] (T0 110) (T1 100) (TX 0) (TC 21)) + (cyc\[1\] (T0 110) (T1 100) (TX 0) (TC 10)) + (cyc\[2\] (T0 120) (T1 90) (TX 0) (TC 5)) + (cyc\[3\] (T0 130) (T1 80) (TX 0) (TC 2)) + (cyc\[4\] (T0 160) (T1 50) (TX 0) (TC 1)) + ) + ) + ) + ) + (INSTANCE as3 + (NET + ) + (INSTANCE intf_for_struct + (NET + (clk (T0 110) (T1 100) (TX 0) (TC 41)) + (cyc\[0\] (T0 110) (T1 100) (TX 0) (TC 21)) + (cyc\[1\] (T0 110) (T1 100) (TX 0) (TC 10)) + (cyc\[2\] (T0 120) (T1 90) (TX 0) (TC 5)) + (cyc\[3\] (T0 130) (T1 80) (TX 0) (TC 2)) + (cyc\[4\] (T0 160) (T1 50) (TX 0) (TC 1)) + (value\[0\] (T0 100) (T1 110) (TX 0) (TC 22)) + (value\[1\] (T0 110) (T1 100) (TX 0) (TC 11)) + (value\[2\] (T0 110) (T1 100) (TX 0) (TC 5)) + (value\[3\] (T0 80) (T1 130) (TX 0) (TC 3)) + (value\[4\] (T0 70) (T1 140) (TX 0) (TC 1)) + (value\[5\] (T0 0) (T1 210) (TX 0) (TC 1)) + (value\[6\] (T0 0) (T1 210) (TX 0) (TC 1)) + (value\[7\] (T0 0) (T1 210) (TX 0) (TC 1)) + (value\[8\] (T0 0) (T1 210) (TX 0) (TC 1)) + (value\[9\] (T0 0) (T1 210) (TX 0) (TC 1)) + ) + (INSTANCE the_struct + (NET + (val100\[0\] (T0 100) (T1 110) (TX 0) (TC 22)) + (val100\[1\] (T0 110) (T1 100) (TX 0) (TC 11)) + (val100\[2\] (T0 100) (T1 110) (TX 0) (TC 6)) + (val100\[3\] (T0 100) (T1 110) (TX 0) (TC 4)) + (val100\[4\] (T0 50) (T1 160) (TX 0) (TC 2)) + (val100\[5\] (T0 190) (T1 20) (TX 0) (TC 1)) + (val100\[6\] (T0 0) (T1 210) (TX 0) (TC 1)) + (val100\[10\] (T0 0) (T1 210) (TX 0) (TC 1)) + (val200\[0\] (T0 100) (T1 110) (TX 0) (TC 22)) + (val200\[1\] (T0 110) (T1 100) (TX 0) (TC 11)) + (val200\[2\] (T0 110) (T1 100) (TX 0) (TC 5)) + (val200\[3\] (T0 130) (T1 80) (TX 0) (TC 2)) + (val200\[4\] (T0 60) (T1 150) (TX 0) (TC 2)) + (val200\[5\] (T0 60) (T1 150) (TX 0) (TC 2)) + (val200\[6\] (T0 150) (T1 60) (TX 0) (TC 1)) + (val200\[7\] (T0 0) (T1 210) (TX 0) (TC 1)) + (val200\[10\] (T0 0) (T1 210) (TX 0) (TC 1)) + ) + ) + (INSTANCE inner + (NET + (cyc\[0\] (T0 110) (T1 100) (TX 0) (TC 21)) + (cyc\[1\] (T0 110) (T1 100) (TX 0) (TC 10)) + (cyc\[2\] (T0 120) (T1 90) (TX 0) (TC 5)) + (cyc\[3\] (T0 130) (T1 80) (TX 0) (TC 2)) + (cyc\[4\] (T0 160) (T1 50) (TX 0) (TC 1)) + ) + ) + ) + ) + ) + (INSTANCE abcdefghijklmnopqrstuvwxyz + (NET + ) + (INSTANCE intf_one + (NET + (clk (T0 110) (T1 100) (TX 0) (TC 41)) + (cyc\[0\] (T0 110) (T1 100) (TX 0) (TC 21)) + (cyc\[1\] (T0 110) (T1 100) (TX 0) (TC 10)) + (cyc\[2\] (T0 120) (T1 90) (TX 0) (TC 5)) + (cyc\[3\] (T0 130) (T1 80) (TX 0) (TC 2)) + (cyc\[4\] (T0 160) (T1 50) (TX 0) (TC 1)) + (value\[0\] (T0 110) (T1 100) (TX 0) (TC 21)) + (value\[1\] (T0 100) (T1 110) (TX 0) (TC 11)) + (value\[2\] (T0 100) (T1 110) (TX 0) (TC 5)) + (value\[3\] (T0 130) (T1 80) (TX 0) (TC 2)) + (value\[4\] (T0 140) (T1 70) (TX 0) (TC 1)) + ) + (INSTANCE the_struct + (NET + (val100\[0\] (T0 110) (T1 100) (TX 0) (TC 21)) + (val100\[1\] (T0 100) (T1 110) (TX 0) (TC 11)) + (val100\[2\] (T0 110) (T1 100) (TX 0) (TC 6)) + (val100\[3\] (T0 100) (T1 110) (TX 0) (TC 3)) + (val100\[4\] (T0 100) (T1 110) (TX 0) (TC 1)) + (val100\[5\] (T0 0) (T1 210) (TX 0) (TC 1)) + (val100\[6\] (T0 0) (T1 210) (TX 0) (TC 1)) + (val200\[0\] (T0 110) (T1 100) (TX 0) (TC 21)) + (val200\[1\] (T0 100) (T1 110) (TX 0) (TC 11)) + (val200\[2\] (T0 100) (T1 110) (TX 0) (TC 5)) + (val200\[3\] (T0 80) (T1 130) (TX 0) (TC 3)) + (val200\[4\] (T0 60) (T1 150) (TX 0) (TC 1)) + (val200\[6\] (T0 0) (T1 210) (TX 0) (TC 1)) + (val200\[7\] (T0 0) (T1 210) (TX 0) (TC 1)) + ) + ) + (INSTANCE inner + (NET + (cyc\[0\] (T0 110) (T1 100) (TX 0) (TC 21)) + (cyc\[1\] (T0 110) (T1 100) (TX 0) (TC 10)) + (cyc\[2\] (T0 120) (T1 90) (TX 0) (TC 5)) + (cyc\[3\] (T0 130) (T1 80) (TX 0) (TC 2)) + (cyc\[4\] (T0 160) (T1 50) (TX 0) (TC 1)) + ) + ) + ) + (INSTANCE intf_two + (NET + (clk (T0 110) (T1 100) (TX 0) (TC 41)) + (cyc\[0\] (T0 110) (T1 100) (TX 0) (TC 21)) + (cyc\[1\] (T0 110) (T1 100) (TX 0) (TC 10)) + (cyc\[2\] (T0 120) (T1 90) (TX 0) (TC 5)) + (cyc\[3\] (T0 130) (T1 80) (TX 0) (TC 2)) + (cyc\[4\] (T0 160) (T1 50) (TX 0) (TC 1)) + (value\[0\] (T0 100) (T1 110) (TX 0) (TC 22)) + (value\[1\] (T0 110) (T1 100) (TX 0) (TC 11)) + (value\[2\] (T0 110) (T1 100) (TX 0) (TC 5)) + (value\[3\] (T0 130) (T1 80) (TX 0) (TC 2)) + (value\[4\] (T0 150) (T1 60) (TX 0) (TC 1)) + ) + (INSTANCE the_struct + (NET + (val100\[0\] (T0 100) (T1 110) (TX 0) (TC 22)) + (val100\[1\] (T0 110) (T1 100) (TX 0) (TC 11)) + (val100\[2\] (T0 100) (T1 110) (TX 0) (TC 6)) + (val100\[3\] (T0 110) (T1 100) (TX 0) (TC 3)) + (val100\[4\] (T0 110) (T1 100) (TX 0) (TC 1)) + (val100\[5\] (T0 0) (T1 210) (TX 0) (TC 1)) + (val100\[6\] (T0 0) (T1 210) (TX 0) (TC 1)) + (val200\[0\] (T0 100) (T1 110) (TX 0) (TC 22)) + (val200\[1\] (T0 110) (T1 100) (TX 0) (TC 11)) + (val200\[2\] (T0 110) (T1 100) (TX 0) (TC 5)) + (val200\[3\] (T0 80) (T1 130) (TX 0) (TC 3)) + (val200\[4\] (T0 70) (T1 140) (TX 0) (TC 1)) + (val200\[6\] (T0 0) (T1 210) (TX 0) (TC 1)) + (val200\[7\] (T0 0) (T1 210) (TX 0) (TC 1)) + ) + ) + (INSTANCE inner + (NET + (cyc\[0\] (T0 110) (T1 100) (TX 0) (TC 21)) + (cyc\[1\] (T0 110) (T1 100) (TX 0) (TC 10)) + (cyc\[2\] (T0 120) (T1 90) (TX 0) (TC 5)) + (cyc\[3\] (T0 130) (T1 80) (TX 0) (TC 2)) + (cyc\[4\] (T0 160) (T1 50) (TX 0) (TC 1)) + ) + ) + ) + (INSTANCE intf_in_sub_all + (NET + (clk (T0 110) (T1 100) (TX 0) (TC 41)) + (cyc\[0\] (T0 110) (T1 100) (TX 0) (TC 21)) + (cyc\[1\] (T0 110) (T1 100) (TX 0) (TC 10)) + (cyc\[2\] (T0 120) (T1 90) (TX 0) (TC 5)) + (cyc\[3\] (T0 130) (T1 80) (TX 0) (TC 2)) + (cyc\[4\] (T0 160) (T1 50) (TX 0) (TC 1)) + (value\[0\] (T0 110) (T1 100) (TX 0) (TC 21)) + (value\[1\] (T0 100) (T1 110) (TX 0) (TC 11)) + (value\[2\] (T0 100) (T1 110) (TX 0) (TC 5)) + (value\[3\] (T0 80) (T1 130) (TX 0) (TC 3)) + (value\[4\] (T0 60) (T1 150) (TX 0) (TC 1)) + (value\[5\] (T0 0) (T1 210) (TX 0) (TC 1)) + (value\[6\] (T0 0) (T1 210) (TX 0) (TC 1)) + (value\[7\] (T0 0) (T1 210) (TX 0) (TC 1)) + (value\[8\] (T0 0) (T1 210) (TX 0) (TC 1)) + (value\[9\] (T0 0) (T1 210) (TX 0) (TC 1)) + ) + (INSTANCE the_struct + (NET + (val100\[0\] (T0 110) (T1 100) (TX 0) (TC 21)) + (val100\[1\] (T0 100) (T1 110) (TX 0) (TC 11)) + (val100\[2\] (T0 110) (T1 100) (TX 0) (TC 6)) + (val100\[3\] (T0 110) (T1 100) (TX 0) (TC 4)) + (val100\[4\] (T0 50) (T1 160) (TX 0) (TC 2)) + (val100\[5\] (T0 180) (T1 30) (TX 0) (TC 1)) + (val100\[6\] (T0 0) (T1 210) (TX 0) (TC 1)) + (val100\[10\] (T0 0) (T1 210) (TX 0) (TC 1)) + (val200\[0\] (T0 110) (T1 100) (TX 0) (TC 21)) + (val200\[1\] (T0 100) (T1 110) (TX 0) (TC 11)) + (val200\[2\] (T0 100) (T1 110) (TX 0) (TC 5)) + (val200\[3\] (T0 130) (T1 80) (TX 0) (TC 2)) + (val200\[4\] (T0 70) (T1 140) (TX 0) (TC 2)) + (val200\[5\] (T0 70) (T1 140) (TX 0) (TC 2)) + (val200\[6\] (T0 140) (T1 70) (TX 0) (TC 1)) + (val200\[7\] (T0 0) (T1 210) (TX 0) (TC 1)) + (val200\[10\] (T0 0) (T1 210) (TX 0) (TC 1)) + ) + ) + (INSTANCE inner + (NET + (cyc\[0\] (T0 110) (T1 100) (TX 0) (TC 21)) + (cyc\[1\] (T0 110) (T1 100) (TX 0) (TC 10)) + (cyc\[2\] (T0 120) (T1 90) (TX 0) (TC 5)) + (cyc\[3\] (T0 130) (T1 80) (TX 0) (TC 2)) + (cyc\[4\] (T0 160) (T1 50) (TX 0) (TC 1)) + ) + ) + ) + (INSTANCE ac1 + (NET + ) + (INSTANCE intf_for_check + (NET + (clk (T0 110) (T1 100) (TX 0) (TC 41)) + (cyc\[0\] (T0 110) (T1 100) (TX 0) (TC 21)) + (cyc\[1\] (T0 110) (T1 100) (TX 0) (TC 10)) + (cyc\[2\] (T0 120) (T1 90) (TX 0) (TC 5)) + (cyc\[3\] (T0 130) (T1 80) (TX 0) (TC 2)) + (cyc\[4\] (T0 160) (T1 50) (TX 0) (TC 1)) + (value\[0\] (T0 110) (T1 100) (TX 0) (TC 21)) + (value\[1\] (T0 100) (T1 110) (TX 0) (TC 11)) + (value\[2\] (T0 100) (T1 110) (TX 0) (TC 5)) + (value\[3\] (T0 130) (T1 80) (TX 0) (TC 2)) + (value\[4\] (T0 140) (T1 70) (TX 0) (TC 1)) + ) + (INSTANCE the_struct + (NET + (val100\[0\] (T0 110) (T1 100) (TX 0) (TC 21)) + (val100\[1\] (T0 100) (T1 110) (TX 0) (TC 11)) + (val100\[2\] (T0 110) (T1 100) (TX 0) (TC 6)) + (val100\[3\] (T0 100) (T1 110) (TX 0) (TC 3)) + (val100\[4\] (T0 100) (T1 110) (TX 0) (TC 1)) + (val100\[5\] (T0 0) (T1 210) (TX 0) (TC 1)) + (val100\[6\] (T0 0) (T1 210) (TX 0) (TC 1)) + (val200\[0\] (T0 110) (T1 100) (TX 0) (TC 21)) + (val200\[1\] (T0 100) (T1 110) (TX 0) (TC 11)) + (val200\[2\] (T0 100) (T1 110) (TX 0) (TC 5)) + (val200\[3\] (T0 80) (T1 130) (TX 0) (TC 3)) + (val200\[4\] (T0 60) (T1 150) (TX 0) (TC 1)) + (val200\[6\] (T0 0) (T1 210) (TX 0) (TC 1)) + (val200\[7\] (T0 0) (T1 210) (TX 0) (TC 1)) + ) + ) + (INSTANCE inner + (NET + (cyc\[0\] (T0 110) (T1 100) (TX 0) (TC 21)) + (cyc\[1\] (T0 110) (T1 100) (TX 0) (TC 10)) + (cyc\[2\] (T0 120) (T1 90) (TX 0) (TC 5)) + (cyc\[3\] (T0 130) (T1 80) (TX 0) (TC 2)) + (cyc\[4\] (T0 160) (T1 50) (TX 0) (TC 1)) + ) + ) + ) + ) + (INSTANCE ac2 + (NET + ) + (INSTANCE intf_for_check + (NET + (clk (T0 110) (T1 100) (TX 0) (TC 41)) + (cyc\[0\] (T0 110) (T1 100) (TX 0) (TC 21)) + (cyc\[1\] (T0 110) (T1 100) (TX 0) (TC 10)) + (cyc\[2\] (T0 120) (T1 90) (TX 0) (TC 5)) + (cyc\[3\] (T0 130) (T1 80) (TX 0) (TC 2)) + (cyc\[4\] (T0 160) (T1 50) (TX 0) (TC 1)) + (value\[0\] (T0 100) (T1 110) (TX 0) (TC 22)) + (value\[1\] (T0 110) (T1 100) (TX 0) (TC 11)) + (value\[2\] (T0 110) (T1 100) (TX 0) (TC 5)) + (value\[3\] (T0 130) (T1 80) (TX 0) (TC 2)) + (value\[4\] (T0 150) (T1 60) (TX 0) (TC 1)) + ) + (INSTANCE the_struct + (NET + (val100\[0\] (T0 100) (T1 110) (TX 0) (TC 22)) + (val100\[1\] (T0 110) (T1 100) (TX 0) (TC 11)) + (val100\[2\] (T0 100) (T1 110) (TX 0) (TC 6)) + (val100\[3\] (T0 110) (T1 100) (TX 0) (TC 3)) + (val100\[4\] (T0 110) (T1 100) (TX 0) (TC 1)) + (val100\[5\] (T0 0) (T1 210) (TX 0) (TC 1)) + (val100\[6\] (T0 0) (T1 210) (TX 0) (TC 1)) + (val200\[0\] (T0 100) (T1 110) (TX 0) (TC 22)) + (val200\[1\] (T0 110) (T1 100) (TX 0) (TC 11)) + (val200\[2\] (T0 110) (T1 100) (TX 0) (TC 5)) + (val200\[3\] (T0 80) (T1 130) (TX 0) (TC 3)) + (val200\[4\] (T0 70) (T1 140) (TX 0) (TC 1)) + (val200\[6\] (T0 0) (T1 210) (TX 0) (TC 1)) + (val200\[7\] (T0 0) (T1 210) (TX 0) (TC 1)) + ) + ) + (INSTANCE inner + (NET + (cyc\[0\] (T0 110) (T1 100) (TX 0) (TC 21)) + (cyc\[1\] (T0 110) (T1 100) (TX 0) (TC 10)) + (cyc\[2\] (T0 120) (T1 90) (TX 0) (TC 5)) + (cyc\[3\] (T0 130) (T1 80) (TX 0) (TC 2)) + (cyc\[4\] (T0 160) (T1 50) (TX 0) (TC 1)) + ) + ) + ) + ) + (INSTANCE ac3 + (NET + ) + (INSTANCE intf_for_check + (NET + (clk (T0 110) (T1 100) (TX 0) (TC 41)) + (cyc\[0\] (T0 110) (T1 100) (TX 0) (TC 21)) + (cyc\[1\] (T0 110) (T1 100) (TX 0) (TC 10)) + (cyc\[2\] (T0 120) (T1 90) (TX 0) (TC 5)) + (cyc\[3\] (T0 130) (T1 80) (TX 0) (TC 2)) + (cyc\[4\] (T0 160) (T1 50) (TX 0) (TC 1)) + (value\[0\] (T0 110) (T1 100) (TX 0) (TC 21)) + (value\[1\] (T0 100) (T1 110) (TX 0) (TC 11)) + (value\[2\] (T0 100) (T1 110) (TX 0) (TC 5)) + (value\[3\] (T0 80) (T1 130) (TX 0) (TC 3)) + (value\[4\] (T0 60) (T1 150) (TX 0) (TC 1)) + (value\[5\] (T0 0) (T1 210) (TX 0) (TC 1)) + (value\[6\] (T0 0) (T1 210) (TX 0) (TC 1)) + (value\[7\] (T0 0) (T1 210) (TX 0) (TC 1)) + (value\[8\] (T0 0) (T1 210) (TX 0) (TC 1)) + (value\[9\] (T0 0) (T1 210) (TX 0) (TC 1)) + ) + (INSTANCE the_struct + (NET + (val100\[0\] (T0 110) (T1 100) (TX 0) (TC 21)) + (val100\[1\] (T0 100) (T1 110) (TX 0) (TC 11)) + (val100\[2\] (T0 110) (T1 100) (TX 0) (TC 6)) + (val100\[3\] (T0 110) (T1 100) (TX 0) (TC 4)) + (val100\[4\] (T0 50) (T1 160) (TX 0) (TC 2)) + (val100\[5\] (T0 180) (T1 30) (TX 0) (TC 1)) + (val100\[6\] (T0 0) (T1 210) (TX 0) (TC 1)) + (val100\[10\] (T0 0) (T1 210) (TX 0) (TC 1)) + (val200\[0\] (T0 110) (T1 100) (TX 0) (TC 21)) + (val200\[1\] (T0 100) (T1 110) (TX 0) (TC 11)) + (val200\[2\] (T0 100) (T1 110) (TX 0) (TC 5)) + (val200\[3\] (T0 130) (T1 80) (TX 0) (TC 2)) + (val200\[4\] (T0 70) (T1 140) (TX 0) (TC 2)) + (val200\[5\] (T0 70) (T1 140) (TX 0) (TC 2)) + (val200\[6\] (T0 140) (T1 70) (TX 0) (TC 1)) + (val200\[7\] (T0 0) (T1 210) (TX 0) (TC 1)) + (val200\[10\] (T0 0) (T1 210) (TX 0) (TC 1)) + ) + ) + (INSTANCE inner + (NET + (cyc\[0\] (T0 110) (T1 100) (TX 0) (TC 21)) + (cyc\[1\] (T0 110) (T1 100) (TX 0) (TC 10)) + (cyc\[2\] (T0 120) (T1 90) (TX 0) (TC 5)) + (cyc\[3\] (T0 130) (T1 80) (TX 0) (TC 2)) + (cyc\[4\] (T0 160) (T1 50) (TX 0) (TC 1)) + ) + ) + ) + ) + (INSTANCE as3 + (NET + ) + (INSTANCE intf_for_struct + (NET + (clk (T0 110) (T1 100) (TX 0) (TC 41)) + (cyc\[0\] (T0 110) (T1 100) (TX 0) (TC 21)) + (cyc\[1\] (T0 110) (T1 100) (TX 0) (TC 10)) + (cyc\[2\] (T0 120) (T1 90) (TX 0) (TC 5)) + (cyc\[3\] (T0 130) (T1 80) (TX 0) (TC 2)) + (cyc\[4\] (T0 160) (T1 50) (TX 0) (TC 1)) + (value\[0\] (T0 110) (T1 100) (TX 0) (TC 21)) + (value\[1\] (T0 100) (T1 110) (TX 0) (TC 11)) + (value\[2\] (T0 100) (T1 110) (TX 0) (TC 5)) + (value\[3\] (T0 80) (T1 130) (TX 0) (TC 3)) + (value\[4\] (T0 60) (T1 150) (TX 0) (TC 1)) + (value\[5\] (T0 0) (T1 210) (TX 0) (TC 1)) + (value\[6\] (T0 0) (T1 210) (TX 0) (TC 1)) + (value\[7\] (T0 0) (T1 210) (TX 0) (TC 1)) + (value\[8\] (T0 0) (T1 210) (TX 0) (TC 1)) + (value\[9\] (T0 0) (T1 210) (TX 0) (TC 1)) + ) + (INSTANCE the_struct + (NET + (val100\[0\] (T0 110) (T1 100) (TX 0) (TC 21)) + (val100\[1\] (T0 100) (T1 110) (TX 0) (TC 11)) + (val100\[2\] (T0 110) (T1 100) (TX 0) (TC 6)) + (val100\[3\] (T0 110) (T1 100) (TX 0) (TC 4)) + (val100\[4\] (T0 50) (T1 160) (TX 0) (TC 2)) + (val100\[5\] (T0 180) (T1 30) (TX 0) (TC 1)) + (val100\[6\] (T0 0) (T1 210) (TX 0) (TC 1)) + (val100\[10\] (T0 0) (T1 210) (TX 0) (TC 1)) + (val200\[0\] (T0 110) (T1 100) (TX 0) (TC 21)) + (val200\[1\] (T0 100) (T1 110) (TX 0) (TC 11)) + (val200\[2\] (T0 100) (T1 110) (TX 0) (TC 5)) + (val200\[3\] (T0 130) (T1 80) (TX 0) (TC 2)) + (val200\[4\] (T0 70) (T1 140) (TX 0) (TC 2)) + (val200\[5\] (T0 70) (T1 140) (TX 0) (TC 2)) + (val200\[6\] (T0 140) (T1 70) (TX 0) (TC 1)) + (val200\[7\] (T0 0) (T1 210) (TX 0) (TC 1)) + (val200\[10\] (T0 0) (T1 210) (TX 0) (TC 1)) + ) + ) + (INSTANCE inner + (NET + (cyc\[0\] (T0 110) (T1 100) (TX 0) (TC 21)) + (cyc\[1\] (T0 110) (T1 100) (TX 0) (TC 10)) + (cyc\[2\] (T0 120) (T1 90) (TX 0) (TC 5)) + (cyc\[3\] (T0 130) (T1 80) (TX 0) (TC 2)) + (cyc\[4\] (T0 160) (T1 50) (TX 0) (TC 1)) + ) + ) + ) + ) + ) + (INSTANCE c1 + (NET + ) + (INSTANCE intf_for_check + (NET + (clk (T0 110) (T1 100) (TX 0) (TC 41)) + (cyc\[0\] (T0 110) (T1 100) (TX 0) (TC 21)) + (cyc\[1\] (T0 110) (T1 100) (TX 0) (TC 10)) + (cyc\[2\] (T0 120) (T1 90) (TX 0) (TC 5)) + (cyc\[3\] (T0 130) (T1 80) (TX 0) (TC 2)) + (cyc\[4\] (T0 160) (T1 50) (TX 0) (TC 1)) + (value\[0\] (T0 100) (T1 110) (TX 0) (TC 22)) + (value\[1\] (T0 110) (T1 100) (TX 0) (TC 11)) + (value\[2\] (T0 110) (T1 100) (TX 0) (TC 5)) + (value\[3\] (T0 130) (T1 80) (TX 0) (TC 2)) + (value\[4\] (T0 150) (T1 60) (TX 0) (TC 1)) + ) + (INSTANCE the_struct + (NET + (val100\[0\] (T0 100) (T1 110) (TX 0) (TC 22)) + (val100\[1\] (T0 110) (T1 100) (TX 0) (TC 11)) + (val100\[2\] (T0 100) (T1 110) (TX 0) (TC 6)) + (val100\[3\] (T0 110) (T1 100) (TX 0) (TC 3)) + (val100\[4\] (T0 110) (T1 100) (TX 0) (TC 1)) + (val100\[5\] (T0 0) (T1 210) (TX 0) (TC 1)) + (val100\[6\] (T0 0) (T1 210) (TX 0) (TC 1)) + (val200\[0\] (T0 100) (T1 110) (TX 0) (TC 22)) + (val200\[1\] (T0 110) (T1 100) (TX 0) (TC 11)) + (val200\[2\] (T0 110) (T1 100) (TX 0) (TC 5)) + (val200\[3\] (T0 80) (T1 130) (TX 0) (TC 3)) + (val200\[4\] (T0 70) (T1 140) (TX 0) (TC 1)) + (val200\[6\] (T0 0) (T1 210) (TX 0) (TC 1)) + (val200\[7\] (T0 0) (T1 210) (TX 0) (TC 1)) + ) + ) + (INSTANCE inner + (NET + (cyc\[0\] (T0 110) (T1 100) (TX 0) (TC 21)) + (cyc\[1\] (T0 110) (T1 100) (TX 0) (TC 10)) + (cyc\[2\] (T0 120) (T1 90) (TX 0) (TC 5)) + (cyc\[3\] (T0 130) (T1 80) (TX 0) (TC 2)) + (cyc\[4\] (T0 160) (T1 50) (TX 0) (TC 1)) + ) + ) + ) + ) + (INSTANCE c2 + (NET + ) + (INSTANCE intf_for_check + (NET + (clk (T0 110) (T1 100) (TX 0) (TC 41)) + (cyc\[0\] (T0 110) (T1 100) (TX 0) (TC 21)) + (cyc\[1\] (T0 110) (T1 100) (TX 0) (TC 10)) + (cyc\[2\] (T0 120) (T1 90) (TX 0) (TC 5)) + (cyc\[3\] (T0 130) (T1 80) (TX 0) (TC 2)) + (cyc\[4\] (T0 160) (T1 50) (TX 0) (TC 1)) + (value\[0\] (T0 110) (T1 100) (TX 0) (TC 21)) + (value\[1\] (T0 100) (T1 110) (TX 0) (TC 11)) + (value\[2\] (T0 100) (T1 110) (TX 0) (TC 5)) + (value\[3\] (T0 130) (T1 80) (TX 0) (TC 2)) + (value\[4\] (T0 140) (T1 70) (TX 0) (TC 1)) + ) + (INSTANCE the_struct + (NET + (val100\[0\] (T0 110) (T1 100) (TX 0) (TC 21)) + (val100\[1\] (T0 100) (T1 110) (TX 0) (TC 11)) + (val100\[2\] (T0 110) (T1 100) (TX 0) (TC 6)) + (val100\[3\] (T0 100) (T1 110) (TX 0) (TC 3)) + (val100\[4\] (T0 100) (T1 110) (TX 0) (TC 1)) + (val100\[5\] (T0 0) (T1 210) (TX 0) (TC 1)) + (val100\[6\] (T0 0) (T1 210) (TX 0) (TC 1)) + (val200\[0\] (T0 110) (T1 100) (TX 0) (TC 21)) + (val200\[1\] (T0 100) (T1 110) (TX 0) (TC 11)) + (val200\[2\] (T0 100) (T1 110) (TX 0) (TC 5)) + (val200\[3\] (T0 80) (T1 130) (TX 0) (TC 3)) + (val200\[4\] (T0 60) (T1 150) (TX 0) (TC 1)) + (val200\[6\] (T0 0) (T1 210) (TX 0) (TC 1)) + (val200\[7\] (T0 0) (T1 210) (TX 0) (TC 1)) + ) + ) + (INSTANCE inner + (NET + (cyc\[0\] (T0 110) (T1 100) (TX 0) (TC 21)) + (cyc\[1\] (T0 110) (T1 100) (TX 0) (TC 10)) + (cyc\[2\] (T0 120) (T1 90) (TX 0) (TC 5)) + (cyc\[3\] (T0 130) (T1 80) (TX 0) (TC 2)) + (cyc\[4\] (T0 160) (T1 50) (TX 0) (TC 1)) + ) + ) + ) + ) + (INSTANCE s1 + (NET + ) + (INSTANCE intf_for_struct + (NET + (clk (T0 110) (T1 100) (TX 0) (TC 41)) + (cyc\[0\] (T0 110) (T1 100) (TX 0) (TC 21)) + (cyc\[1\] (T0 110) (T1 100) (TX 0) (TC 10)) + (cyc\[2\] (T0 120) (T1 90) (TX 0) (TC 5)) + (cyc\[3\] (T0 130) (T1 80) (TX 0) (TC 2)) + (cyc\[4\] (T0 160) (T1 50) (TX 0) (TC 1)) + (value\[0\] (T0 100) (T1 110) (TX 0) (TC 22)) + (value\[1\] (T0 110) (T1 100) (TX 0) (TC 11)) + (value\[2\] (T0 110) (T1 100) (TX 0) (TC 5)) + (value\[3\] (T0 130) (T1 80) (TX 0) (TC 2)) + (value\[4\] (T0 150) (T1 60) (TX 0) (TC 1)) + ) + (INSTANCE the_struct + (NET + (val100\[0\] (T0 100) (T1 110) (TX 0) (TC 22)) + (val100\[1\] (T0 110) (T1 100) (TX 0) (TC 11)) + (val100\[2\] (T0 100) (T1 110) (TX 0) (TC 6)) + (val100\[3\] (T0 110) (T1 100) (TX 0) (TC 3)) + (val100\[4\] (T0 110) (T1 100) (TX 0) (TC 1)) + (val100\[5\] (T0 0) (T1 210) (TX 0) (TC 1)) + (val100\[6\] (T0 0) (T1 210) (TX 0) (TC 1)) + (val200\[0\] (T0 100) (T1 110) (TX 0) (TC 22)) + (val200\[1\] (T0 110) (T1 100) (TX 0) (TC 11)) + (val200\[2\] (T0 110) (T1 100) (TX 0) (TC 5)) + (val200\[3\] (T0 80) (T1 130) (TX 0) (TC 3)) + (val200\[4\] (T0 70) (T1 140) (TX 0) (TC 1)) + (val200\[6\] (T0 0) (T1 210) (TX 0) (TC 1)) + (val200\[7\] (T0 0) (T1 210) (TX 0) (TC 1)) + ) + ) + (INSTANCE inner + (NET + (cyc\[0\] (T0 110) (T1 100) (TX 0) (TC 21)) + (cyc\[1\] (T0 110) (T1 100) (TX 0) (TC 10)) + (cyc\[2\] (T0 120) (T1 90) (TX 0) (TC 5)) + (cyc\[3\] (T0 130) (T1 80) (TX 0) (TC 2)) + (cyc\[4\] (T0 160) (T1 50) (TX 0) (TC 1)) + ) + ) + ) + ) + (INSTANCE s2 + (NET + ) + (INSTANCE intf_for_struct + (NET + (clk (T0 110) (T1 100) (TX 0) (TC 41)) + (cyc\[0\] (T0 110) (T1 100) (TX 0) (TC 21)) + (cyc\[1\] (T0 110) (T1 100) (TX 0) (TC 10)) + (cyc\[2\] (T0 120) (T1 90) (TX 0) (TC 5)) + (cyc\[3\] (T0 130) (T1 80) (TX 0) (TC 2)) + (cyc\[4\] (T0 160) (T1 50) (TX 0) (TC 1)) + (value\[0\] (T0 110) (T1 100) (TX 0) (TC 21)) + (value\[1\] (T0 100) (T1 110) (TX 0) (TC 11)) + (value\[2\] (T0 100) (T1 110) (TX 0) (TC 5)) + (value\[3\] (T0 130) (T1 80) (TX 0) (TC 2)) + (value\[4\] (T0 140) (T1 70) (TX 0) (TC 1)) + ) + (INSTANCE the_struct + (NET + (val100\[0\] (T0 110) (T1 100) (TX 0) (TC 21)) + (val100\[1\] (T0 100) (T1 110) (TX 0) (TC 11)) + (val100\[2\] (T0 110) (T1 100) (TX 0) (TC 6)) + (val100\[3\] (T0 100) (T1 110) (TX 0) (TC 3)) + (val100\[4\] (T0 100) (T1 110) (TX 0) (TC 1)) + (val100\[5\] (T0 0) (T1 210) (TX 0) (TC 1)) + (val100\[6\] (T0 0) (T1 210) (TX 0) (TC 1)) + (val200\[0\] (T0 110) (T1 100) (TX 0) (TC 21)) + (val200\[1\] (T0 100) (T1 110) (TX 0) (TC 11)) + (val200\[2\] (T0 100) (T1 110) (TX 0) (TC 5)) + (val200\[3\] (T0 80) (T1 130) (TX 0) (TC 3)) + (val200\[4\] (T0 60) (T1 150) (TX 0) (TC 1)) + (val200\[6\] (T0 0) (T1 210) (TX 0) (TC 1)) + (val200\[7\] (T0 0) (T1 210) (TX 0) (TC 1)) + ) + ) + (INSTANCE inner + (NET + (cyc\[0\] (T0 110) (T1 100) (TX 0) (TC 21)) + (cyc\[1\] (T0 110) (T1 100) (TX 0) (TC 10)) + (cyc\[2\] (T0 120) (T1 90) (TX 0) (TC 5)) + (cyc\[3\] (T0 130) (T1 80) (TX 0) (TC 2)) + (cyc\[4\] (T0 160) (T1 50) (TX 0) (TC 1)) + ) + ) + ) + ) + ) +) +) diff --git a/test_regress/t/t_interface_ref_trace_saif.py b/test_regress/t/t_interface_ref_trace_saif.py index 3ebe41194..1b4155118 100755 --- a/test_regress/t/t_interface_ref_trace_saif.py +++ b/test_regress/t/t_interface_ref_trace_saif.py @@ -11,6 +11,7 @@ import vltest_bootstrap test.scenarios('simulator') test.top_filename = "t/t_interface_ref_trace.v" +test.golden_filename = "t/t_interface_ref_trace_saif.out" test.compile(verilator_flags2=['--trace-structs --trace-saif'])