.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 n_n74 n_n88 [917] [918] ni8
----1 1
10--- 1
--01- 1
.names nstate_2 n_n181 n_n74 ni19
-1- 1
0-0 1
.names rdy2rths1 [129] [100] [95] [920] [922] ni30
110-0- 1
--0000 1
.names [299] [300] [302] [934] [935] n_n5
1---- 1
-1--- 1
--1-- 1
---1- 1
----1 1
.names fullihs1 rdy2bmhs1 fullohs1 [100] n_n180 [947] n_n15
-----1 1
-0-0-- 1
00--1- 1
-00-1- 1
.names nstate_0 nstate_1 nstate_2 nstate_3 nstate_4 nstate_5 ni29
000100 1
.names rdy1bmhs1 rdy2bmhs1 [92] [285] [956] [964] ni6
-----1 1
-1-1-- 1
011-1- 1
.names [264] [265] [967] ni21
1-- 1
-1- 1
--1 1
.names rdy1bmhs1 rdy2bmhs1 [92] [956] [976] [977] ni5
----1- 1
-----1 1
1011-- 1
.names [149] [250] [927] [980] ni4
-1-- 1
---1 1
1-1- 1
.names nstate_4 [241] [247] [984] [985] ni3
-1--- 1
----1 1
1-1-- 1
1--1- 1
.names rdy1bmhs1 rdy2bmhs1 n_n143 [159] [231] [994] ni2
--0--- 1
----1- 1
-----1 1
0--1-- 1
-0-1-- 1
.names n_n27 [213] [214] [215] [1012] ni22
1---- 1
-1--- 1
--1-- 1
---1- 1
----1 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_1 nstate_3 n_n189 ni13
1001 1
.names fullihs1 outavhs1 fullohs1 ni24
10- 1
-01 1
.names prog_0 n_n74 n_n88 [204] [915] [917] ni14
---1-- 1
00---- 1
--0--1 1
1-0-1- 1
.names n_n10 n_n64 [150] [1023] [1028] n_n1
0---- 1
----1 1
-011- 1
.names prog_1 n_n181 [105] [196] ni15
--1- 1
---1 1
11-- 1
.names fullihs1 fullohs1 n_n10 n_n180 [1009] [1031] n_n0
--0--- 1
-----1 1
01-10- 1
.names [123] [92] [186] [188] [956] [1033] ni11
--1--- 1
---1-- 1
-----1 1
11--1- 1
.names nstate_0 nstate_1 nstate_2 nstate_3 nstate_4 nstate_5 n_n181
000011 1
.names fullohs1 n_n180 [177] [178] [1009] [1037] ni25
--1--- 1
---1-- 1
-----1 1
01--0- 1
.names n_n87 [131] [173] [1041] [1045] n_n2
--1-- 1
----1 1
01-1- 1
.names prog_2 n_n189 n_n27 [988] [1047] n_n14
--1-- 1
----1 1
11-1- 1
.names fullihs1 outavhs1 ni28
00 1
.names prog_0 nstate_2 n_n74 [103] [1050] ni9
----1 1
0--1- 1
000-- 1
.names [103] [184] [1052] [1053] n_n29
1--- 1
-1-- 1
--1- 1
---1 1
.names fullihs1 outavhs1 ni27
10 1
.names prog_2 nstate_0 nstate_1 nstate_3 nstate_4 nstate_5 n_n74
1----- 1
-1---- 1
--0--- 1
---1-- 1
----1- 1
-----0 1
.names nstate_0 nstate_1 nstate_3 nstate_5 [122]
0101 1
.names prog_0 prog_1 [100] [920] [922] n_n10
--1-- 1
---1- 1
----1 1
01--- 1
10--- 1
.names wantbmhs1 wantrths1 prog_0 [129]
010 1
.names nstate_0 nstate_2 nstate_4 nstate_5 n_n189
0100 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_0 nstate_1 nstate_2 nstate_3 nstate_5 n_n62
--0-- 1
---1- 1
----0 1
11--- 1
00--- 1
.names prog_2 nstate_0 nstate_1 nstate_3 nstate_4 nstate_5 [103]
010001 1
.names nstate_2 nstate_3 nstate_4 nstate_5 [96]
1--- 1
-1-- 1
--1- 1
---0 1
.names fullohs1 prog_2 n_n64 [169] [1000] n_n27
--0-0 1
0101- 1
.names nstate_0 nstate_1 nstate_4 nstate_5 [97]
0000 1
.names fullihs1 fullohs1 [99]
0- 1
-0 1
.names rdy1bmhs1 rdy2bmhs1 [123]
10 1
.names nstate_0 nstate_2 nstate_3 nstate_4 nstate_5 n_n56
0---- 1
-1--- 1
--0-- 1
---1- 1
----1 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 nstate_0 nstate_1 nstate_2 nstate_3 nstate_4 nstate_5 [138]
011100 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 nstate_0 nstate_1 nstate_2 nstate_4 nstate_5 [110]
01100 1
.names rdy1rths1 rdy2rths1 [124]
10 1
.names rdy1rths1 rdy2rths1 [132]
01 1
.names n_n181 n_n189 [96] [236] [238] [988] n_n143
001--- 1
0-11-- 1
00--1- 1
0--11- 1
0-1--0 1
0---10 1
.names wantrths1 rdy1rths1 rdy2rths1 [158]
0-- 1
-10 1
.names rdy1bmhs1 rdy2bmhs1 wantbmhs1 prog_0 prog_1 [156]
--0-- 1
10--- 1
-1-01 1
-1-10 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_2 nstate_0 nstate_1 nstate_3 nstate_4 nstate_5 [105]
001001 1
010001 1
.names prog_0 nstate_0 nstate_1 nstate_2 nstate_3 nstate_5 [160]
-01-01 1
10-001 1
.names prog_0 nstate_0 nstate_1 nstate_2 nstate_3 nstate_5 [159]
-10-01 1
0-0001 1
.names prog_0 nstate_1 nstate_2 nstate_3 nstate_5 n_n180
00001 1
.names prog_0 prog_1 [95]
01 1
10 1
.names rdy1bmhs1 rdy2bmhs1 rdy1rths1 rdy2rths1 nstate_0 nstate_1 [169]
--1001 1
10--10 1
.names prog_2 nstate_1 nstate_4 [131]
000 1
.names prog_2 nstate_0 nstate_2 nstate_3 nstate_5 [98]
0---- 1
-1--- 1
--1-- 1
---1- 1
----0 1
.names fullihs1 fullohs1 nstate_4 [139]
000 1
.names wantrths1 rdy1rths1 rdy2rths1 [172]
0-- 1
-10 1
.names rdy1bmhs1 fullihs1 rdy2bmhs1 fullohs1 [148]
00-- 1
--10 1
.names fullihs1 fullohs1 rdy1rths1 rdy2rths1 [147]
-00- 1
0--1 1
.names [92] [124] [98] [139] [932] [1043] [173]
11--1- 1
-101-1 1
.names outpuths1 indonehs1 n_n181 [103] [184] [177]
-1-1- 1
-1--1 1
111-- 1
.names fullohs1 prog_0 rdy1rths1 rdy2rths1 n_n87 [131] [178]
010101 1
.names nstate_0 nstate_1 nstate_2 nstate_3 nstate_4 nstate_5 [184]
011001 1
101001 1
.names wantbmhs1 wantrths1 rdy1rths1 rdy2rths1 [100] [1004] [186]
10--01 1
1-1001 1
.names fullihs1 fullohs1 n_n180 [1009] [1011] [188]
0-10- 1
-010- 1
0-1-1 1
-01-1 1
.names nstate_0 nstate_1 nstate_2 nstate_3 nstate_4 nstate_5 [196]
011001 1
101001 1
.names nstate_0 nstate_1 nstate_2 nstate_3 nstate_4 nstate_5 [204]
011001 1
.names fullohs1 prog_0 rdy1rths1 rdy2rths1 n_n87 [131] [213]
010101 1
011001 1
.names wantbmhs1 wantrths1 [100] [98] [920] [1006] [214]
0--0-1 1
000-0- 1
.names fullohs1 n_n180 [1009] [1011] [215]
010- 1
01-1 1
.names nstate_0 nstate_1 nstate_2 nstate_3 nstate_4 nstate_5 [222]
001100 1
.names rdy1rths1 rdy2rths1 [160] [231]
0-1 1
-01 1
.names prog_2 nstate_0 nstate_1 nstate_2 nstate_3 nstate_5 [232]
100001 1
.names prog_1 prog_2 [236]
00 1
.names rdy1bmhs1 fullihs1 fullohs1 rdy1rths1 nstate_0 [238]
1---0 1
---10 1
100-- 1
-001- 1
.names rdy2rths1 [100] [920] [983] [241]
1001 1
.names rdy2rths1 nstate_0 nstate_1 nstate_3 nstate_5 [247]
00101 1
.names tparrayhs1 nstate_0 nstate_2 nstate_3 nstate_4 nstate_5 [250]
010100 1
.names nstate_0 nstate_1 nstate_2 nstate_3 nstate_4 nstate_5 [255]
110100 1
.names indonehs1 nstate_0 nstate_1 nstate_2 nstate_3 nstate_5 [256]
001101 1
010101 1
.names rttshs1 nstate_0 nstate_2 nstate_4 nstate_5 [257]
00100 1
.names rdy1bmhs1 nstate_0 nstate_2 nstate_3 nstate_4 nstate_5 [264]
010001 1
.names prog_0 prog_2 n_n87 [148] [147] [265]
0001- 1
100-1 1
.names nstate_0 nstate_1 nstate_2 nstate_3 nstate_4 [283]
01100 1
.names prog_2 nstate_0 nstate_1 nstate_3 nstate_4 nstate_5 [284]
1010-1 1
-01011 1
.names wantbmhs1 rdy2rths1 [100] [98] [920] [955] [285]
1--0-1 1
110-0- 1
.names prog_2 nstate_0 nstate_1 nstate_2 nstate_3 nstate_4 [289]
100000 1
.names rdy2rths1 [100] [920] [931] [299]
1001 1
.names nstate_0 nstate_1 nstate_3 nstate_5 [112] [305] [300]
10011- 1
1001-1 1
.names fullohs1 prog_0 rdy1rths1 rdy2rths1 n_n87 [131] [302]
011001 1
.names rdy1bmhs1 rdy2bmhs1 prog_2 nstate_4 [305]
0-1- 1
-01- 1
0--1 1
-0-1 1
.names nstate_4 nstate_0 [915]
10 1
.names prog_0 prog_2 nstate_0 nstate_4 [917]
1010 1
.names nstate_0 nstate_1 nstate_2 nstate_3 nstate_4 nstate_5 [918]
0110-1 1
000011 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 fullihs1 fullohs1 nstate_0 nstate_1 [925]
1-11 1
-111 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 [96] [149] [925] [927] [934]
0-1- 1
-1-1 1
.names nstate_1 n_n87 [92] [132] [131] [929] [935]
-0--11 1
1011-- 1
.names nstate_0 nstate_1 nstate_2 nstate_3 nstate_4 nstate_5 [945]
00--00 1
1-0100 1
.names rdy2rths1 n_n178 [99] [98] [289] [945] [947]
----1- 1
-----1 1
0--0-- 1
011--- 1
.names fullihs1 fullohs1 rdy1rths1 rdy2rths1 [949]
0110 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 prog_0 n_n87 [131] [949] [952] [959]
-01-1 1
1011- 1
.names indonehs1 rdy1rths1 rdy2rths1 [138] [283] [284] [960]
0--1-- 1
-0--1- 1
--0-1- 1
-0---1 1
--0--1 1
.names [96] n_n56 [100] [920] [922] [925] [961]
-0---- 1
0----1 1
--000- 1
.names [122] [112] [959] [960] [961] [964]
--1-- 1
---1- 1
----1 1
11--- 1
.names nstate_0 nstate_1 nstate_2 nstate_3 nstate_4 nstate_5 [967]
00--00 1
1-0100 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 [97] [257] [971] [973] [976]
-1-- 1
---1 1
1-1- 1
.names rdy1rths1 rdy2rths1 [92] [255] [256] [932] [977]
---1-- 1
----1- 1
101--1 1
.names nstate_0 nstate_1 nstate_2 nstate_3 nstate_4 nstate_5 [980]
10-100 1
011100 1
.names rdy1bmhs1 rdy2bmhs1 wantbmhs1 prog_0 [983]
--01 1
10-1 1
.names rdy2bmhs1 nstate_0 nstate_1 nstate_2 nstate_3 nstate_5 [984]
010-01 1
-01101 1
-10101 1
.names indonehs1 n_n181 [158] [156] [100] [920] [985]
01---- 1
--1100 1
.names rttshs1 nstate_1 nstate_3 [988]
100 1
.names fullihs1 fullohs1 prog_2 [991]
1-1 1
-11 1
.names n_n62 [96] [105] [232] [991] [994]
0---- 1
--1-- 1
---1- 1
-0--1 1
.names rdy1bmhs1 fullohs1 rdy1rths1 nstate_0 nstate_1 [1000]
1---- 1
-1--- 1
--1-- 1
---0- 1
----0 1
.names nstate_1 tparrayhs1 [1003]
11 1
.names rdy1bmhs1 fullihs1 rdy2bmhs1 fullohs1 nstate_4 [1004]
10000 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 n_n56 [100] [172] [222] [1003] [1004] [1012]
---1-- 1
0---1- 1
-01--1 1
.names rdy2rths1 nstate_0 nstate_1 [1023]
100 1
.names rdy1bmhs1 fullihs1 rdy2bmhs1 fullohs1 prog_0 [1027]
00110 1
10010 1
.names prog_0 n_n87 [131] [949] [1027] [1028]
-01-1 1
1011- 1
.names indonehs1 nstate_2 n_n74 n_n64 [150] [1023] [1031]
100--- 1
---011 1
.names [97] n_n64 [971] [1000] [1033]
1-1- 1
-0-0 1
.names tparrayhs1 nstate_1 n_n56 n_n64 [222] [1000] [1037]
----1- 1
---0-0 1
110--- 1
.names fullihs1 fullohs1 prog_0 rdy1rths1 rdy2rths1 [1041]
0-101 1
-0101 1
0-110 1
-0110 1
.names rdy1bmhs1 rdy2bmhs1 wantbmhs1 wantrths1 [1043]
--01 1
10-1 1
.names rdy1rths1 rdy2rths1 nstate_3 n_n64 [110] [1000] [1045]
---0-0 1
110-1- 1
.names prog_2 nstate_1 nstate_4 n_n87 [97] [971] [1047]
----11 1
0000-- 1
.names nstate_0 nstate_1 nstate_2 nstate_3 nstate_4 nstate_5 [1050]
1010-1 1
00-100 1
0-1100 1
1-0100 1
000011 1
.names nstate_0 nstate_1 nstate_2 nstate_3 nstate_4 nstate_5 [1052]
1-0100 1
-00100 1
.names nstate_0 nstate_1 nstate_2 nstate_3 nstate_4 nstate_5 [1053]
000011 1
011100 1
.end