.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 n_n159 [320] [918] ni8
1-- 1
-1- 1
--1 1
.names nstate_2 n_n181 n_n74 ni19
-1- 1
0-0 1
.names n_n22 [95] [315] ni30
--1 1
00- 1
.names [299] [300] [938] n_n5
1-- 1
-1- 1
--1 1
.names rdy2bmhs1 [168] [947] n_n15
--1 1
01- 1
.names nstate_0 [128] [948] ni29
011 1
.names [276] [964] ni6
1- 1
-1 1
.names [265] [968] ni21
1- 1
-1 1
.names [253] [975] [978] ni5
1-- 1
-1- 1
--1 1
.names [980] [981] ni4
1- 1
-1 1
.names [241] [242] [985] ni3
1-- 1
-1- 1
--1 1
.names [995] [996] ni2
1- 1
-1 1
.names [215] [1012] [1015] ni22
1-- 1
-1- 1
--1 1
.names n_n56 [136] [210] ni12
0-- 1
-1- 1
--1 1
.names [134] [957] [988] ni13
111 1
.names fullihs1 outavhs1 fullohs1 ni24
10- 1
-01 1
.names [1017] [1018] ni14
1- 1
-1 1
.names n_n10 n_n161 [1028] n_n1
0-- 1
-1- 1
--1 1
.names prog_1 n_n181 [1030] ni15
--1 1
11- 1
.names [1031] [1032] n_n0
1- 1
-1 1
.names [188] [1033] [1034] ni11
1-- 1
-1- 1
--1 1
.names nstate_1 [119] [915] n_n181
001 1
.names [177] [1037] [1038] ni25
1-- 1
-1- 1
--1 1
.names [173] [1046] n_n2
1- 1
-1 1
.names n_n27 [111] [1047] n_n14
1-- 1
-1- 1
--1 1
.names fullihs1 outavhs1 ni28
00 1
.names prog_0 [161] [1050] ni9
--1 1
01- 1
.names n_n173 [1052] [1053] n_n29
1-- 1
-1- 1
--1 1
.names fullihs1 outavhs1 ni27
10 1
.names [120] [88] [127] n_n74
1-- 1
-0- 1
--0 1
.names nstate_1 [119] [917] n_n159
001 1
.names nstate_3 nstate_5 [127] [122]
011 1
.names prog_0 prog_1 n_n22 n_n10
--1 1
01- 1
10- 1
.names wantbmhs1 wantrths1 prog_0 [129]
010 1
.names rdy2rths1 [100] [920] [133]
100 1
.names nstate_2 nstate_4 [134]
10 1
.names prog_0 nstate_0 [119] n_n178
100 1
.names nstate_0 nstate_1 [972] n_n62
--1 1
11- 1
00- 1
.names [131] [1036] [103]
11 1
.names [131] [184] [1036] n_n173
-1- 1
1-1 1
.names fullihs1 fullohs1 [83]
1- 1
-1 1
.names nstate_4 [119] [96]
1- 1
-1 1
.names nstate_4 [119] [925] n_n162
001 1
.names n_n64 [1000] [1002] n_n27
00- 1
0-1 1
.names n_n180 [1009] [1011] [86]
10- 1
1-1 1
.names nstate_1 [136] [221] [94]
--1 1
01- 1
.names rdy1rths1 rdy2rths1 [141]
01 1
10 1
.names prog_2 nstate_4 [120]
1- 1
-1 1
.names nstate_0 [128] [97]
01 1
.names nstate_0 [128] [971] n_n191
011 1
.names n_n64 [998] [999] n_n35
1-- 1
-1- 1
--1 1
.names fullihs1 fullohs1 [99]
0- 1
-0 1
.names rdy1bmhs1 rdy2bmhs1 [123]
10 1
.names nstate_3 nstate_4 [941] n_n56
0-- 1
-1- 1
--1 1
.names [100] [920] [922] n_n22
1-- 1
-1- 1
--1 1
.names rdy1rths1 rdy2rths1 [85]
0- 1
-0 1
.names n_n178 [950] [93]
11 1
.names nstate_0 [119] [131] [121]
001 1
.names fullihs1 fullohs1 [126]
01 1
.names nstate_1 [119] n_n88
1- 1
-1 1
.names nstate_4 [311] [92]
1- 1
-1 1
.names nstate_1 nstate_4 nstate_5 [128]
000 1
.names nstate_3 [90] [926] [149]
1-- 1
-01 1
.names nstate_2 [128] [149] n_n174
011 1
.names fullihs1 nstate_4 [119] n_n64
1-- 1
-1- 1
--1 1
.names [203] [1019] [1020] [150]
1-- 1
-11 1
.names [202] [203] [1024] n_n161
1-1 1
-11 1
.names nstate_3 [134] [957] [136]
111 1
.names nstate_3 nstate_5 [88]
01 1
.names nstate_0 nstate_1 [127]
01 1
.names nstate_0 nstate_1 [137]
10 1
.names nstate_4 [311] [932] n_n177
1-1 1
-11 1
.names nstate_1 [134] [957] [110]
111 1
.names rdy1rths1 rdy2rths1 [124]
10 1
.names rdy1rths1 rdy2rths1 [132]
01 1
.names prog_1 prog_2 ni13 [152]
--0 1
00- 1
.names rdy1bmhs1 rdy2bmhs1 wantbmhs1 [84]
--0 1
10- 1
.names wantrths1 rdy1rths1 rdy2rths1 [158]
0-- 1
-10 1
.names n_n62 [246] [247] [157]
0-- 1
-1- 1
--1 1
.names rdy1bmhs1 rdy2bmhs1 [90]
0- 1
-0 1
.names prog_2 nstate_1 [119] [100]
0-- 1
-1- 1
--1 1
.names [120] [88] [170] [105]
011 1
.names prog_0 nstate_1 [119] n_n180
000 1
.names nstate_3 nstate_5 [137] [125]
011 1
.names nstate_2 n_n74 [103] [161]
--1 1
00- 1
.names rdy1rths1 rdy2rths1 [163]
01 1
10 1
.names nstate_2 nstate_3 nstate_5 [119]
1-- 1
-1- 1
--0 1
.names prog_0 prog_1 [95]
01 1
10 1
.names rdy1bmhs1 rdy2bmhs1 wantbmhs1 [166]
1-- 1
-1- 1
--0 1
.names nstate_2 [305] [307] [165]
1-- 1
-1- 1
--1 1
.names nstate_1 nstate_4 [87]
00 1
.names [99] [100] n_n180 [168]
-0- 1
1-1 1
.names n_n178 [99] [98] [167]
--0 1
11- 1
.names prog_2 nstate_1 nstate_4 [131]
000 1
.names prog_2 nstate_0 [119] [98]
0-- 1
-1- 1
--1 1
.names nstate_0 nstate_1 [170]
01 1
10 1
.names fullihs1 fullohs1 nstate_4 [139]
000 1
.names wantrths1 rdy1rths1 rdy2rths1 [172]
0-- 1
-10 1
.names fullihs1 fullohs1 nstate_0 [155]
--0 1
00- 1
.names nstate_2 [88] [137] [107]
111 1
.names prog_2 ni13 [111]
11 1
.names [121] [163] [1040] [116]
111 1
.names [110] [1042] [117]
11 1
.names n_n177 [124] [175] [173]
11- 1
-11 1
.names [98] [1044] [175]
01 1
.names indonehs1 n_n173 [182] [177]
11- 1
1-1 1
.names [121] [132] [933] [178]
111 1
.names fullohs1 n_n180 [1009] [179]
010 1
.names outpuths1 n_n181 [182]
11 1
.names nstate_4 [261] [972] [184]
000 1
.names wantbmhs1 [100] [1005] [186]
101 1
.names [123] [92] [956] [187]
111 1
.names fullihs1 fullohs1 [86] [188]
0-1 1
-01 1
.names indonehs1 nstate_2 n_n74 [191]
100 1
.names [126] n_n180 [1009] [192]
110 1
.names nstate_4 [261] [972] [196]
000 1
.names fullohs1 prog_0 [1020] [202]
111 1
.names fullohs1 prog_2 [129] [203]
011 1
.names [134] [88] [127] [204]
111 1
.names nstate_0 nstate_3 [128] [210]
011 1
.names [141] [121] [933] [213]
111 1
.names wantbmhs1 [219] [220] [214]
01- 1
0-1 1
.names fullohs1 [86] [215]
01 1
.names [124] [98] [139] [219]
101 1
.names wantrths1 [100] [920] [220]
000 1
.names [940] [941] [1003] [221]
001 1
.names rdy1bmhs1 rdy2bmhs1 [137] [227]
101 1
.names nstate_0 nstate_1 [124] [228]
011 1
.names nstate_4 [119] [991] [229]
001 1
.names [90] n_n180 [125] [230]
11- 1
1-1 1
.names [122] n_n178 [85] [231]
1-1 1
-11 1
.names nstate_0 [100] [232]
00 1
.names rdy1bmhs1 rdy1rths1 [155] [238]
1-1 1
-11 1
.names [100] [920] [982] [240]
001 1
.names prog_0 [133] [84] [241]
111 1
.names nstate_4 [157] [242]
11 1
.names rdy2bmhs1 prog_0 prog_1 [244]
101 1
110 1
.names rdy2bmhs1 [88] [137] [246]
011 1
.names rdy2rths1 [88] [127] [247]
011 1
.names nstate_0 nstate_3 [128] [249]
111 1
.names tparrayhs1 [940] [941] [250]
000 1
.names [92] [124] [932] [253]
111 1
.names [123] [92] [956] [254]
111 1
.names nstate_1 [940] [941] [255]
100 1
.names indonehs1 [261] [972] [256]
000 1
.names rttshs1 [134] [957] [257]
011 1
.names nstate_0 nstate_1 [261]
11 1
00 1
.names nstate_4 [119] [965] [264]
001 1
.names prog_2 [268] [269] [265]
01- 1
0-1 1
.names nstate_0 [119] [966] [268]
001 1
.names n_n178 [270] [271] [269]
11- 1
1-1 1
.names fullihs1 rdy2rths1 [270]
01 1
.names fullohs1 rdy1rths1 [271]
00 1
.names rdy2bmhs1 fullohs1 [272]
10 1
.names rdy1bmhs1 fullihs1 [273]
00 1
.names [121] [126] [951] [274]
111 1
.names [85] [283] [284] [275]
11- 1
1-1 1
.names rdy2bmhs1 [285] [286] [276]
11- 1
1-1 1
.names indonehs1 nstate_3 [110] [277]
011 1
.names nstate_2 [122] [307] [278]
11- 1
-11 1
.names nstate_0 nstate_1 [953] [283]
011 1
.names [120] [88] [127] [284]
111 1
.names wantbmhs1 [133] [287] [285]
11- 1
1-1 1
.names rdy1bmhs1 [92] [956] [286]
011 1
.names [87] [98] [954] [287]
101 1
.names [87] [942] [943] [289]
111 1
.names [123] [121] [928] [298]
111 1
.names wantrths1 [133] [166] [299]
111 1
.names [88] [137] [165] [300]
111 1
.names [92] [132] [932] [301]
111 1
.names [121] [124] [933] [302]
111 1
.names prog_2 nstate_4 [90] [305]
1-1 1
-11 1
.names nstate_4 [309] [310] [307]
01- 1
0-1 1
.names fullihs1 fullohs1 prog_2 [309]
1-1 1
-11 1
.names prog_2 indonehs1 [310]
00 1
.names fullihs1 fullohs1 prog_2 [311]
001 1
.names [129] [133] [315]
11 1
.names nstate_2 [88] [127] [319]
111 1
.names prog_0 n_n74 [320]
10 1
.names nstate_4 nstate_0 [915]
10 1
.names prog_0 nstate_0 [120] [917]
110 1
.names n_n181 [319] [918]
1- 1
-1 1
.names [139] nstate_0 [920]
0- 1
-1 1
.names rdy2bmhs1 wantbmhs1 wantrths1 [922]
0-- 1
-0- 1
--1 1
.names nstate_0 nstate_1 [83] [925]
111 1
.names fullihs1 fullohs1 nstate_0 [926]
000 1
.names [128] nstate_2 [927]
10 1
.names prog_0 fullohs1 [928]
00 1
.names nstate_0 nstate_1 [119] [932]
010 1
.names prog_0 fullohs1 [933]
10 1
.names n_n162 n_n174 [302] [936]
1-- 1
-1- 1
--1 1
.names [298] [301] [936] [938]
1-- 1
-1- 1
--1 1
.names nstate_4 nstate_3 [940]
1- 1
-0 1
.names nstate_0 nstate_2 nstate_5 [941]
0-- 1
-1- 1
--1 1
.names nstate_0 prog_2 [942]
01 1
.names nstate_3 nstate_2 [943]
00 1
.names [97] n_n56 [289] [946]
1-- 1
-0- 1
--1 1
.names rdy2rths1 [167] [946] [947]
--1 1
01- 1
.names nstate_3 nstate_2 [948]
10 1
.names [126] [124] [131] [950]
111 1
.names rdy1bmhs1 rdy2bmhs1 prog_0 [951]
100 1
.names nstate_2 nstate_3 nstate_4 [953]
100 1
.names fullihs1 fullohs1 rdy1rths1 [954]
001 1
.names nstate_0 nstate_1 [119] [956]
100 1
.names nstate_5 nstate_0 [957]
00 1
.names [96] n_n56 [925] [958]
-0- 1
0-1 1
.names [277] [275] [960]
1- 1
-1 1
.names n_n22 [958] [961]
0- 1
-1 1
.names [93] [274] [278] [962]
1-- 1
-1- 1
--1 1
.names [960] [961] [962] [964]
1-- 1
-1- 1
--1 1
.names nstate_0 rdy1bmhs1 [965]
10 1
.names prog_0 [272] [273] [966]
01- 1
0-1 1
.names [97] n_n56 [264] [968]
1-- 1
-0- 1
--1 1
.names nstate_3 nstate_2 [969]
00 1
.names [83] [90] [969] [971]
001 1
.names nstate_2 nstate_3 nstate_5 [972]
0-- 1
-1- 1
--0 1
.names [110] [136] [973]
1- 1
-1 1
.names [97] [257] [971] [974]
-1- 1
1-1 1
.names [256] [255] [975]
1- 1
-1 1
.names [254] [973] [974] [978]
1-- 1
-1- 1
--1 1
.names nstate_3 [110] [249] [980]
--1 1
11- 1
.names [149] [250] [927] [981]
-1- 1
1-1 1
.names [84] [158] [244] [982]
11- 1
-11 1
.names indonehs1 n_n181 [240] [985]
--1 1
01- 1
.names rttshs1 nstate_1 nstate_3 [988]
100 1
.names n_n181 [96] [238] [989]
01- 1
0-1 1
.names fullihs1 fullohs1 prog_2 [991]
1-1 1
-11 1
.names n_n62 [105] [229] [993]
0-- 1
-1- 1
--1 1
.names [152] [230] [989] [995]
0-- 1
-1- 1
--0 1
.names [231] [232] [993] [996]
1-- 1
-1- 1
--1 1
.names nstate_0 rdy1rths1 [998]
0- 1
-1 1
.names rdy1bmhs1 fullohs1 nstate_1 [999]
1-- 1
-1- 1
--0 1
.names rdy1rths1 nstate_0 [999] [1000]
1-- 1
-0- 1
--1 1
.names prog_2 fullohs1 [1001]
10 1
.names [227] [228] [1001] [1002]
1-1 1
-11 1
.names nstate_1 tparrayhs1 [1003]
11 1
.names [123] [139] [172] [1005]
111 1
.names prog_2 nstate_0 nstate_4 [1008]
1-- 1
-1- 1
--1 1
.names rdy1bmhs1 rdy2bmhs1 [1008] [1009]
1-- 1
-0- 1
--1 1
.names prog_2 nstate_0 nstate_4 [1010]
000 1
.names rdy1bmhs1 rdy2bmhs1 [1010] [1011]
101 1
.names [94] [100] [1005] [1012]
1-- 1
-01 1
.names n_n27 [213] [214] [1015]
1-- 1
-1- 1
--1 1
.names n_n88 [204] [917] [1017]
-1- 1
0-1 1
.names prog_0 n_n181 n_n74 [1018]
11- 1
0-0 1
.names prog_0 fullohs1 [1019]
11 1
.names rdy1rths1 prog_2 [1020]
00 1
.names rdy2rths1 nstate_0 nstate_1 [1023]
100 1
.names n_n64 [1023] [1024]
01 1
.names fullihs1 fullohs1 prog_0 [1025]
010 1
.names rdy1bmhs1 rdy2bmhs1 [1025] [1027]
011 1
101 1
.names [93] [121] [1027] [1028]
1-- 1
-11 1
.names [196] [105] [1030]
1- 1
-1 1
.names [150] [191] [1024] [1031]
-1- 1
1-1 1
.names n_n22 [95] [192] [1032]
--1 1
00- 1
.names n_n191 n_n64 [1000] [1033]
1-- 1
-00 1
.names [187] [186] [1034]
1- 1
-1 1
.names nstate_0 nstate_3 nstate_5 [1036]
101 1
.names [94] n_n64 [1000] [1037]
1-- 1
-00 1
.names [179] [178] [1038]
1- 1
-1 1
.names fullihs1 fullohs1 prog_0 [1040]
0-1 1
-01 1
.names rdy1rths1 rdy2rths1 nstate_3 [1042]
110 1
.names wantrths1 [84] [139] [1044]
111 1
.names n_n35 [116] [117] [1046]
0-- 1
-1- 1
--1 1
.names [97] [121] [971] [1047]
-1- 1
1-1 1
.names ni12 n_n181 [107] [1050]
1-- 1
-1- 1
--1 1
.names nstate_3 nstate_2 [1051]
10 1
.names n_n56 [128] [1051] [1052]
0-- 1
-11 1
.names nstate_3 n_n181 [110] [1053]
-1- 1
1-1 1
.end