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