.model top
.inputs rdy1bmhs1 fullihs1 rdy2bmhs1 ck wantbmhs1 outpuths1 wantrths1 outavhs1 \
tparrayhs1 fullohs1 prog_0 prog_1 prog_2 rttshs1 indonehs1 rdy1rths1 rdy2rths1
.outputs sefullihs1 newtrhs1 mode2hs1 mode1hs1 tgwhbufhs1 rerttshs1 mode0hs1 \
rewhbufhs1 sefullohs1 loadihhs1 actrths1 dumpihs1 lxhinhs1 shftorhs1 \
seoutavhs1 newlinehs1 gobmhs1 actbmhs1 loadohhs1 txhinhs1 ldproghs1 gorths1 \
shftirhs1
.latch    ni8 actrths1 re ck 2
.latch    ni19 shftirhs1 re ck 2
.latch    ni30 dumpihs1 re ck 2
.latch    n_n5 nstate_0 re ck 2
.latch    n_n15 lxhinhs1 re ck 2
.latch    ni29 ldproghs1 re ck 2
.latch    ni6 nstate_1 re ck 2
.latch    ni21 txhinhs1 re ck 2
.latch    ni5 nstate_2 re ck 2
.latch    ni4 nstate_3 re ck 2
.latch    ni3 nstate_4 re ck 2
.latch    ni2 nstate_5 re ck 2
.latch    ni22 loadohhs1 re ck 2
.latch    ni12 newtrhs1 re ck 2
.latch    ni13 rerttshs1 re ck 2
.latch    ni24 seoutavhs1 re ck 2
.latch    ni14 mode0hs1 re ck 2
.latch    n_n1 loadihhs1 re ck 2
.latch    ni15 mode1hs1 re ck 2
.latch    n_n0 sefullihs1 re ck 2
.latch    ni11 gobmhs1 re ck 2
.latch    n_n181 mode2hs1 re ck 2
.latch    ni25 sefullohs1 re ck 2
.latch    n_n2 gorths1 re ck 2
.latch    n_n14 newlinehs1 re ck 2
.latch    ni28 rewhbufhs1 re ck 2
.latch    ni9 actbmhs1 re ck 2
.latch    n_n29 shftorhs1 re ck 2
.latch    ni27 tgwhbufhs1 re ck 2
.names prog_0 prog_2 nstate_0 nstate_1 nstate_2 nstate_3 nstate_4 nstate_5 ni8
--0110-1 1
--000011 1
1001-001 1
10100001 1
.names prog_2 nstate_0 nstate_1 nstate_2 nstate_3 nstate_4 nstate_5 ni19
-000011 1
0010001 1
.names rdy2bmhs1 wantbmhs1 wantrths1 prog_0 prog_1 rdy2rths1 [100] [920] ni30
-010-100 1
11011-00 1
11000-00 1
.names rdy1rths1 rdy2rths1 [121] [92] [929] [932] [936] [937] n_n5
------1- 1
-------1 1
--1-1--- 1
01-1-1-- 1
.names rdy2bmhs1 rdy2rths1 [168] [167] [946] n_n15
----1 1
0-1-- 1
-0-1- 1
.names nstate_0 nstate_1 nstate_2 nstate_3 nstate_4 nstate_5 ni29
000100 1
.names rdy1bmhs1 rdy2bmhs1 [92] [285] [956] [962] [963] ni6
-----1- 1
------1 1
-1-1--- 1
011-1-- 1
.names prog_0 prog_2 n_n87 [148] [147] [968] ni21
-----1 1
0001-- 1
100-1- 1
.names rdy1rths1 rdy2rths1 [92] [932] [975] [978] ni5
----1- 1
-----1 1
1011-- 1
.names tparrayhs1 nstate_0 nstate_1 nstate_2 nstate_3 nstate_4 nstate_5 [149] \
ni4
-10-100- 1
--00-001 1
-011100- 1
01-0100- 1
.names rdy2rths1 [100] [242] [243] [920] [982] [983] ni3
--1---- 1
---1--- 1
-0--01- 1
10--0-1 1
.names [229] [231] [232] [992] [995] ni2
1---- 1
-1--- 1
--1-- 1
---1- 1
----1 1
.names wantbmhs1 wantrths1 [100] [98] [920] [1006] [1013] [1014] ni22
------1- 1
-------1 1
0--0-1-- 1
000-0--- 1
.names nstate_0 nstate_1 nstate_2 nstate_3 nstate_4 nstate_5 ni12
00-100 1
0-1100 1
1-0100 1
.names rttshs1 nstate_0 nstate_1 nstate_2 nstate_3 nstate_4 nstate_5 ni13
1001000 1
.names fullihs1 outavhs1 fullohs1 ni24
10- 1
-01 1
.names prog_0 prog_2 nstate_0 nstate_1 nstate_2 nstate_3 nstate_4 nstate_5 \
ni14
--011001 1
1-000011 1
0001-001 1
10100001 1
.names rdy2bmhs1 wantbmhs1 wantrths1 prog_0 prog_1 [100] [920] [1029] n_n1
-------1 1
1101100- 1
1100000- 1
.names prog_1 prog_2 nstate_0 nstate_1 nstate_2 nstate_3 nstate_4 nstate_5 \
ni15
-001-001 1
-010-001 1
--011001 1
--101001 1
1-000011 1
.names [150] [191] [1024] [1032] n_n0
-1-- 1
---1 1
1-1- 1
.names rdy1bmhs1 rdy2bmhs1 wantbmhs1 [92] [100] [956] [1005] [1035] ni11
-------1 1
--1-0-1- 1
10-1-1-- 1
.names nstate_0 nstate_1 nstate_2 nstate_3 nstate_4 nstate_5 n_n181
000011 1
.names indonehs1 [94] n_n64 [151] [1000] [1038] ni25
-1---- 1
-----1 1
1--1-- 1
--0-0- 1
.names rdy1rths1 rdy2rths1 [92] [98] [932] [1044] [1046] n_n2
------1 1
101-1-- 1
10-0-1- 1
.names [97] [121] n_n64 [111] [971] [1000] [1002] n_n14
-1----- 1
---1--- 1
1---1-- 1
--0--0- 1
--0---1 1
.names fullihs1 outavhs1 ni28
00 1
.names prog_0 prog_2 nstate_0 nstate_1 nstate_2 nstate_3 nstate_4 nstate_5 ni9
--1010-1 1
--00-100 1
--0-1100 1
--1-0100 1
--000011 1
0010-001 1
00010001 1
.names prog_2 nstate_0 nstate_1 nstate_2 nstate_3 nstate_4 nstate_5 n_n29
-1-0100 1
--00100 1
-000011 1
010-001 1
-011001 1
-101001 1
-011100 1
.names fullihs1 outavhs1 ni27
10 1
.names nstate_0 nstate_1 nstate_3 nstate_5 [122]
0101 1
.names nstate_0 nstate_2 nstate_3 nstate_5 n_n87
1--- 1
-1-- 1
--1- 1
---0 1
.names prog_0 nstate_0 nstate_2 nstate_3 nstate_5 n_n178
10001 1
.names nstate_2 nstate_3 nstate_4 nstate_5 [96]
1--- 1
-1-- 1
--1- 1
---0 1
.names fullihs1 fullohs1 nstate_0 nstate_1 nstate_2 nstate_3 nstate_4 nstate_5 \
n_n162
1-110001 1
-1110001 1
.names tparrayhs1 nstate_0 nstate_1 nstate_2 nstate_3 nstate_4 nstate_5 [94]
-001100 1
1110100 1
.names nstate_0 nstate_1 nstate_4 nstate_5 [97]
0000 1
.names fullihs1 fullohs1 [99]
0- 1
-0 1
.names fullihs1 fullohs1 prog_2 indonehs1 nstate_2 nstate_4 [112]
----1- 1
1-1--0 1
-11--0 1
--00-0 1
.names prog_2 nstate_0 nstate_1 nstate_2 nstate_3 nstate_4 nstate_5 [121]
0000001 1
.names prog_2 nstate_0 nstate_1 nstate_2 nstate_3 nstate_4 nstate_5 [143]
-01100- 1
101-0-1 1
-01-011 1
.names nstate_1 nstate_2 nstate_3 nstate_5 n_n88
1--- 1
-1-- 1
--1- 1
---0 1
.names fullihs1 fullohs1 prog_2 nstate_4 [92]
---1 1
001- 1
.names rdy1bmhs1 fullihs1 rdy2bmhs1 fullohs1 nstate_0 nstate_3 [149]
-----1 1
10100- 1
.names fullihs1 nstate_2 nstate_3 nstate_4 nstate_5 n_n64
1---- 1
-1--- 1
--1-- 1
---1- 1
----0 1
.names wantbmhs1 wantrths1 fullohs1 prog_0 prog_2 rdy1rths1 [150]
--1100 1
01001- 1
.names outpuths1 prog_2 nstate_0 nstate_1 nstate_2 nstate_3 nstate_4 nstate_5 \
[151]
-010-001 1
--011001 1
--101001 1
1-000011 1
.names prog_2 nstate_1 nstate_2 nstate_3 nstate_5 [100]
0---- 1
-1--- 1
--1-- 1
---1- 1
----0 1
.names prog_0 nstate_1 nstate_2 nstate_3 nstate_5 n_n180
00001 1
.names nstate_0 nstate_1 nstate_3 nstate_5 [125]
1001 1
.names prog_0 prog_1 [95]
01 1
10 1
.names rdy1bmhs1 fullihs1 rdy2bmhs1 fullohs1 prog_2 indonehs1 nstate_2 \
nstate_4 [165]
------1- 1
0---1--- 1
--0-1--- 1
0------1 1
--0----1 1
-1--1--0 1
---11--0 1
----00-0 1
.names fullihs1 fullohs1 prog_0 prog_2 nstate_1 nstate_2 nstate_3 nstate_5 \
[168]
---10001 1
0-0-0001 1
-00-0001 1
.names fullihs1 fullohs1 prog_0 prog_2 nstate_0 nstate_2 nstate_3 nstate_5 \
[167]
---10001 1
0-1-0001 1
-01-0001 1
.names prog_2 nstate_0 nstate_2 nstate_3 nstate_5 [98]
0---- 1
-1--- 1
--1-- 1
---1- 1
----0 1
.names rdy1bmhs1 fullihs1 rdy2bmhs1 fullohs1 [148]
00-- 1
--10 1
.names fullihs1 fullohs1 rdy1rths1 rdy2rths1 [147]
-00- 1
0--1 1
.names prog_2 rttshs1 nstate_0 nstate_1 nstate_2 nstate_3 nstate_4 nstate_5 \
[111]
11001000 1
.names rdy1rths1 rdy2rths1 nstate_0 nstate_1 nstate_2 nstate_3 nstate_4 \
nstate_5 [117]
11011000 1
.names prog_2 indonehs1 nstate_0 nstate_1 nstate_2 nstate_3 nstate_4 nstate_5 \
[191]
01010001 1
.names fullihs1 fullohs1 prog_2 nstate_2 nstate_3 nstate_4 nstate_5 [229]
1-10001 1
-110001 1
.names rdy1bmhs1 rdy2bmhs1 prog_0 nstate_0 nstate_1 nstate_2 nstate_3 nstate_5 \
[230]
0--10-01 1
-0-10-01 1
0-0-0001 1
-00-0001 1
.names prog_0 rdy1rths1 rdy2rths1 nstate_0 nstate_1 nstate_2 nstate_3 nstate_5 \
[231]
-0-01-01 1
--001-01 1
10-0-001 1
1-00-001 1
.names prog_2 nstate_0 nstate_1 nstate_2 nstate_3 nstate_5 [232]
100001 1
.names rdy1bmhs1 fullihs1 fullohs1 rdy1rths1 nstate_0 [238]
1---0 1
---10 1
100-- 1
-001- 1
.names rdy2bmhs1 rdy2rths1 nstate_0 nstate_1 nstate_2 nstate_3 nstate_4 \
nstate_5 [242]
-001-011 1
0-10-011 1
--011011 1
--101011 1
.names indonehs1 nstate_0 nstate_1 nstate_2 nstate_3 nstate_4 nstate_5 [243]
0000011 1
.names rttshs1 nstate_0 nstate_2 nstate_4 nstate_5 [257]
00100 1
.names indonehs1 nstate_0 nstate_1 nstate_2 nstate_3 nstate_4 nstate_5 [277]
0011100 1
.names wantbmhs1 rdy2rths1 [100] [98] [920] [955] [285]
1--0-1 1
110-0- 1
.names fullihs1 fullohs1 nstate_0 nstate_4 [920]
1--- 1
-1-- 1
--1- 1
---1 1
.names rdy2bmhs1 wantbmhs1 wantrths1 [922]
0-- 1
-0- 1
--1 1
.names nstate_1 nstate_2 nstate_4 nstate_5 [927]
0000 1
.names rdy1bmhs1 rdy2bmhs1 fullohs1 prog_0 [929]
1000 1
.names rdy1bmhs1 rdy2bmhs1 wantbmhs1 wantrths1 [931]
1--1 1
-1-1 1
--01 1
.names nstate_0 nstate_1 nstate_2 nstate_3 nstate_5 [932]
01001 1
.names fullohs1 prog_0 rdy1rths1 rdy2rths1 n_n162 [121] [149] [927] [936]
----1--- 1
------11 1
0110-1-- 1
.names rdy2rths1 [100] [125] [165] [920] [931] [937]
--11-- 1
10--01 1
.names prog_2 nstate_0 nstate_1 nstate_2 nstate_3 nstate_4 nstate_5 [946]
-00--00 1
-1-0100 1
100000- 1
.names fullihs1 fullohs1 prog_2 rdy1rths1 rdy2rths1 nstate_1 nstate_4 [950]
0101000 1
.names rdy1bmhs1 fullihs1 rdy2bmhs1 fullohs1 prog_0 [952]
10010 1
.names fullihs1 fullohs1 rdy1rths1 nstate_1 nstate_4 [955]
00100 1
.names nstate_0 nstate_1 nstate_2 nstate_3 nstate_5 [956]
10001 1
.names fullihs1 fullohs1 nstate_0 nstate_1 nstate_2 nstate_3 nstate_4 nstate_5 \
[958]
--1-0100 1
1-110001 1
-1110001 1
.names [122] n_n178 [112] [121] [950] [952] [962]
1-1--- 1
-1--1- 1
---1-1 1
.names rdy1rths1 rdy2rths1 [143] [100] [277] [920] [922] [958] [963]
----1--- 1
-------1 1
0-1----- 1
-01----- 1
---0-00- 1
.names rdy1bmhs1 nstate_0 nstate_1 nstate_2 nstate_3 nstate_4 nstate_5 [968]
-00--00 1
-1-0100 1
01-0001 1
.names rdy1bmhs1 fullihs1 rdy2bmhs1 fullohs1 nstate_2 nstate_3 [971]
101000 1
.names nstate_0 nstate_1 nstate_2 nstate_3 nstate_4 nstate_5 [973]
011-00 1
0-1100 1
.names indonehs1 nstate_0 nstate_1 nstate_2 nstate_3 nstate_4 nstate_5 [975]
00110-1 1
01010-1 1
-110100 1
.names rdy1bmhs1 rdy2bmhs1 [97] [92] [257] [956] [971] [973] [978]
----1--- 1
-------1 1
--1---1- 1
10-1-1-- 1
.names rdy1bmhs1 rdy2bmhs1 wantbmhs1 wantrths1 prog_0 prog_1 rdy1rths1 \
rdy2rths1 [982]
--00---- 1
10-0---- 1
--0---10 1
-1-001-- 1
-1-010-- 1
10----10 1
-1--0110 1
-1--1010 1
.names rdy1bmhs1 rdy2bmhs1 wantbmhs1 prog_0 [983]
--01 1
10-1 1
.names prog_2 nstate_0 nstate_1 nstate_2 nstate_3 nstate_4 nstate_5 [992]
-0110-1 1
-1010-1 1
001-001 1
010-001 1
.names prog_1 prog_2 ni13 n_n181 [96] [230] [238] [995]
---1--- 1
-----1- 1
1-1---- 1
-11---- 1
----0-0 1
.names rdy1bmhs1 fullohs1 rdy1rths1 nstate_0 nstate_1 [1000]
1---- 1
-1--- 1
--1-- 1
---0- 1
----0 1
.names rdy1bmhs1 rdy2bmhs1 fullohs1 prog_2 rdy1rths1 rdy2rths1 nstate_0 \
nstate_1 [1002]
--011001 1
1001--10 1
.names rdy1bmhs1 fullihs1 rdy2bmhs1 wantrths1 fullohs1 rdy1rths1 rdy2rths1 \
nstate_4 [1005]
10000--0 1
100-0100 1
.names fullihs1 fullohs1 rdy1rths1 rdy2rths1 nstate_4 [1006]
00100 1
.names rdy1bmhs1 rdy2bmhs1 prog_2 nstate_0 nstate_4 [1009]
1---- 1
-0--- 1
--1-- 1
---1- 1
----1 1
.names rdy1bmhs1 rdy2bmhs1 prog_2 nstate_0 nstate_4 [1011]
10000 1
.names fullohs1 prog_0 rdy1rths1 rdy2rths1 [121] n_n64 [1000] [1002] [1013]
-----00- 1
-----0-1 1
01011--- 1
01101--- 1
.names fullohs1 [94] [100] n_n180 [1005] [1009] [1011] [1014]
-1----- 1
--0-1-- 1
0--1-0- 1
0--1--1 1
.names fullihs1 rdy2rths1 nstate_0 nstate_1 nstate_2 nstate_3 nstate_4 \
nstate_5 [1024]
01000001 1
.names rdy1bmhs1 fullihs1 rdy2bmhs1 fullohs1 prog_0 [1027]
00110 1
10010 1
.names n_n178 [121] [150] [950] [1024] [1027] [1029]
1--1-- 1
--1-1- 1
-1---1 1
.names fullihs1 fullohs1 [100] n_n180 [95] [920] [922] [1009] [1032]
--0-000- 1
01-1---0 1
.names [97] [99] n_n64 n_n180 [971] [1000] [1009] [1011] [1035]
1---1--- 1
--0--0-- 1
-1-1--0- 1
-1-1---1 1
.names fullohs1 prog_0 rdy1rths1 rdy2rths1 [121] n_n88 [1009] [1038]
00---00 1
01011-- 1
.names fullihs1 fullohs1 prog_0 rdy1rths1 rdy2rths1 [1041]
0-101 1
-0101 1
0-110 1
-0110 1
.names rdy1bmhs1 fullihs1 rdy2bmhs1 wantbmhs1 wantrths1 fullohs1 nstate_4 \
[1044]
-0-0100 1
100-100 1
.names [121] n_n64 [117] [1000] [1041] [1046]
--1-- 1
-0-0- 1
1---1 1
.end