test11.awif revision 12855
112855Sgabeblack@google.com 212855Sgabeblack@google.comtype scalar "BIT" enum '0', '1' ; 312855Sgabeblack@google.comtype scalar "MVL" enum '0', '1', 'X', 'Z', '?' ; 412855Sgabeblack@google.com 512855Sgabeblack@google.comdeclare O0 "Bool" BIT variable ; 612855Sgabeblack@google.comstart_trace O0 ; 712855Sgabeblack@google.comdeclare O1 "SC_Logic" MVL variable ; 812855Sgabeblack@google.comstart_trace O1 ; 912855Sgabeblack@google.comdeclare O2 "SC_BV" BIT 0 3 variable ; 1012855Sgabeblack@google.comstart_trace O2 ; 1112855Sgabeblack@google.comdeclare O3 "SC_LV" MVL 0 3 variable ; 1212855Sgabeblack@google.comstart_trace O3 ; 1312855Sgabeblack@google.comdeclare O4 "Clock" BIT variable ; 1412855Sgabeblack@google.comstart_trace O4 ; 1512855Sgabeblack@google.comcomment "All initial values are dumped below at time 0 sec = 0 timescale units." ; 1612855Sgabeblack@google.comassign O0 '0' ; 1712855Sgabeblack@google.comassign O1 '0' ; 1812855Sgabeblack@google.comassign O2 "0001" ; 1912855Sgabeblack@google.comassign O3 "0001" ; 2012855Sgabeblack@google.comassign O4 '1' ; 2112855Sgabeblack@google.com 2212855Sgabeblack@google.comdelta_time 10000 ; 2312855Sgabeblack@google.comassign O2 "0011" ; 2412855Sgabeblack@google.comassign O3 "0011" ; 2512855Sgabeblack@google.comassign O4 '0' ; 2612855Sgabeblack@google.com 2712855Sgabeblack@google.comdelta_time 10000 ; 2812855Sgabeblack@google.comassign O2 "0111" ; 2912855Sgabeblack@google.comassign O3 "0111" ; 3012855Sgabeblack@google.comassign O4 '1' ; 3112855Sgabeblack@google.com 3212855Sgabeblack@google.comdelta_time 10000 ; 3312855Sgabeblack@google.comassign O2 "1111" ; 3412855Sgabeblack@google.comassign O3 "1111" ; 3512855Sgabeblack@google.comassign O4 '0' ; 3612855Sgabeblack@google.com 3712855Sgabeblack@google.comdelta_time 10000 ; 3812855Sgabeblack@google.comassign O2 "1110" ; 3912855Sgabeblack@google.comassign O3 "1110" ; 4012855Sgabeblack@google.comassign O4 '1' ; 4112855Sgabeblack@google.com 4212855Sgabeblack@google.comdelta_time 10000 ; 4312855Sgabeblack@google.comassign O2 "1100" ; 4412855Sgabeblack@google.comassign O3 "1100" ; 4512855Sgabeblack@google.comassign O4 '0' ; 4612855Sgabeblack@google.com 4712855Sgabeblack@google.comdelta_time 10000 ; 4812855Sgabeblack@google.comassign O2 "1000" ; 4912855Sgabeblack@google.comassign O3 "1000" ; 5012855Sgabeblack@google.comassign O4 '1' ; 5112855Sgabeblack@google.com 5212855Sgabeblack@google.comdelta_time 10000 ; 5312855Sgabeblack@google.comassign O2 "0000" ; 5412855Sgabeblack@google.comassign O3 "0000" ; 5512855Sgabeblack@google.comassign O4 '0' ; 5612855Sgabeblack@google.com 5712855Sgabeblack@google.comdelta_time 10000 ; 5812855Sgabeblack@google.comassign O2 "0001" ; 5912855Sgabeblack@google.comassign O3 "0001" ; 6012855Sgabeblack@google.comassign O4 '1' ; 6112855Sgabeblack@google.com 6212855Sgabeblack@google.comdelta_time 10000 ; 6312855Sgabeblack@google.comassign O2 "0011" ; 6412855Sgabeblack@google.comassign O3 "0011" ; 6512855Sgabeblack@google.comassign O4 '0' ; 6612855Sgabeblack@google.com 6712855Sgabeblack@google.comdelta_time 10000 ; 6812855Sgabeblack@google.comassign O2 "0111" ; 6912855Sgabeblack@google.comassign O3 "0111" ; 7012855Sgabeblack@google.comassign O4 '1' ; 7112855Sgabeblack@google.com 7212855Sgabeblack@google.comdelta_time 10000 ; 7312855Sgabeblack@google.comassign O2 "1111" ; 7412855Sgabeblack@google.comassign O3 "1111" ; 7512855Sgabeblack@google.comassign O4 '0' ; 7612855Sgabeblack@google.com 7712855Sgabeblack@google.comdelta_time 10000 ; 7812855Sgabeblack@google.comassign O2 "1110" ; 7912855Sgabeblack@google.comassign O3 "1110" ; 8012855Sgabeblack@google.comassign O4 '1' ; 8112855Sgabeblack@google.com 8212855Sgabeblack@google.comdelta_time 10000 ; 8312855Sgabeblack@google.comassign O2 "1100" ; 8412855Sgabeblack@google.comassign O3 "1100" ; 8512855Sgabeblack@google.comassign O4 '0' ; 8612855Sgabeblack@google.com 8712855Sgabeblack@google.comdelta_time 10000 ; 8812855Sgabeblack@google.comassign O2 "1000" ; 8912855Sgabeblack@google.comassign O3 "1000" ; 9012855Sgabeblack@google.comassign O4 '1' ; 9112855Sgabeblack@google.com 9212855Sgabeblack@google.comdelta_time 10000 ; 9312855Sgabeblack@google.comassign O2 "0000" ; 9412855Sgabeblack@google.comassign O3 "0000" ; 9512855Sgabeblack@google.comassign O4 '0' ; 9612855Sgabeblack@google.com 9712855Sgabeblack@google.comdelta_time 10000 ; 9812855Sgabeblack@google.comassign O2 "0001" ; 9912855Sgabeblack@google.comassign O3 "0001" ; 10012855Sgabeblack@google.comassign O4 '1' ; 10112855Sgabeblack@google.com 10212855Sgabeblack@google.comdelta_time 10000 ; 10312855Sgabeblack@google.comassign O2 "0011" ; 10412855Sgabeblack@google.comassign O3 "0011" ; 10512855Sgabeblack@google.comassign O4 '0' ; 10612855Sgabeblack@google.com 10712855Sgabeblack@google.comdelta_time 10000 ; 10812855Sgabeblack@google.comassign O2 "0111" ; 10912855Sgabeblack@google.comassign O3 "0111" ; 11012855Sgabeblack@google.comassign O4 '1' ; 11112855Sgabeblack@google.com 11212855Sgabeblack@google.comdelta_time 10000 ; 11312855Sgabeblack@google.comassign O2 "1111" ; 11412855Sgabeblack@google.comassign O3 "1111" ; 11512855Sgabeblack@google.comassign O4 '0' ; 11612855Sgabeblack@google.com 117