.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_n88 [320] [917] [918] ni8
-1-- 1
---1 1
0-1- 1
.names nstate_0 nstate_4 [135] n_n88 ni19
--1- 1
01-0 1
.names [129] [133] n_n22 [95] ni30
11-- 1
--00 1
.names [298] [301] [936] [937] n_n5
1--- 1
-1-- 1
--1- 1
---1 1
.names rdy2bmhs1 [168] [947] n_n15
--1 1
01- 1
.names nstate_2 nstate_3 [97] ni29
011 1
.names rdy2bmhs1 [144] [964] ni6
--1 1
11- 1
.names prog_2 [146] [264] [967] ni21
--1- 1
---1 1
01-- 1
.names [253] [255] [256] [978] ni5
1--- 1
-1-- 1
--1- 1
---1 1
.names [138] n_n174 [249] [250] ni4
1--- 1
-1-- 1
--1- 1
---1 1
.names [133] [242] [983] [985] ni3
-1-- 1
---1 1
1-1- 1
.names [995] [996] ni2
1- 1
-1 1
.names [214] [215] [1012] [1013] ni22
1--- 1
-1-- 1
--1- 1
---1 1
.names nstate_3 [97] [1016] ni12
--1 1
11- 1
.names rttshs1 nstate_1 nstate_3 n_n189 ni13
1001 1
.names fullihs1 outavhs1 fullohs1 ni24
10- 1
-01 1
.names [205] [206] [1017] ni14
1-- 1
-1- 1
--1 1
.names prog_0 prog_1 n_n22 [1029] n_n1
---1 1
110- 1
000- 1
.names [170] [195] [196] [990] ni15
-1-- 1
--1- 1
1--1 1
.names [150] [191] [1024] [1032] n_n0
-1-- 1
---1 1
1-1- 1
.names n_n191 n_n35 [188] [1034] ni11
1--- 1
-0-- 1
--1- 1
---1 1
.names nstate_0 nstate_4 n_n88 n_n181
010 1
.names [177] [1037] [1038] ni25
1-- 1
-1- 1
--1 1
.names n_n177 [124] [175] [1046] n_n2
---1 1
11-- 1
-11- 1
.names n_n64 [1000] [1002] [1048] n_n14
---1 1
00-- 1
0-1- 1
.names fullihs1 outavhs1 ni28
00 1
.names prog_0 [135] [103] [1050] ni9
---1 1
01-- 1
0-1- 1
.names [138] n_n88 [915] [1054] n_n29
1--- 1
---1 1
-01- 1
.names fullihs1 outavhs1 ni27
10 1
.names nstate_0 nstate_1 nstate_3 nstate_5 [122]
0101 1
.names prog_2 nstate_2 nstate_4 [122] [135]
0001 1
.names wantbmhs1 wantrths1 prog_0 [129]
010 1
.names prog_2 rdy2rths1 n_n88 [920] [133]
1100 1
.names nstate_2 nstate_4 [134]
10 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_2 nstate_1 nstate_4 [1036] [103]
0001 1
.names nstate_2 nstate_3 nstate_4 nstate_5 [96]
1--- 1
-1-- 1
--1- 1
---0 1
.names rdy1rths1 rdy2rths1 [141]
01 1
10 1
.names prog_2 nstate_4 [120]
1- 1
-1 1
.names nstate_0 nstate_1 nstate_4 nstate_5 [97]
0000 1
.names nstate_2 nstate_3 [97] [970] n_n191
0011 1
.names fullihs1 [96] [998] [999] n_n35
1--- 1
-1-- 1
--1- 1
---1 1
.names fullihs1 fullohs1 [99]
0- 1
-0 1
.names rdy1bmhs1 rdy2bmhs1 [123]
10 1
.names prog_2 n_n88 [920] [922] n_n22
0--- 1
-1-- 1
--1- 1
---1 1
.names rdy1rths1 rdy2rths1 [85]
0- 1
-0 1
.names prog_0 n_n87 [131] [949] [93]
1011 1
.names fullihs1 fullohs1 [126]
01 1
.names nstate_1 nstate_3 n_n189 [138]
111 1
.names wantbmhs1 [133] [286] [287] [144]
--1- 1
11-- 1
1--1 1
.names [120] [88] [127] [953] [143]
--11 1
111- 1
.names prog_0 n_n87 [148] [147] [146]
001- 1
10-1 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 nstate_1 nstate_4 nstate_5 [128]
000 1
.names nstate_3 [90] [926] [927] n_n174
1--1 1
-011 1
.names fullihs1 [96] n_n64
1- 1
-1 1
.names fullohs1 prog_2 [129] [202] [150]
---1 1
011- 1
.names nstate_3 nstate_5 [88]
01 1
.names nstate_0 nstate_1 [127]
01 1
.names nstate_1 n_n87 [92] n_n177
101 1
.names rdy1rths1 rdy2rths1 [124]
10 1
.names prog_0 n_n88 [1007] [1008] n_n48
1--- 1
-1-- 1
--1- 1
---1 1
.names rdy1rths1 rdy2rths1 [132]
01 1
.names rdy1bmhs1 rdy1rths1 [96] [155] [153]
--1- 1
1--1 1
-1-1 1
.names prog_1 prog_2 n_n189 [988] [152]
--0- 1
---0 1
00-- 1
.names rdy1bmhs1 rdy2bmhs1 wantbmhs1 [84]
--0 1
10- 1
.names prog_2 n_n88 [920] [118]
0-- 1
-1- 1
--1 1
.names wantrths1 rdy1rths1 rdy2rths1 [158]
0-- 1
-10 1
.names rdy1bmhs1 rdy2bmhs1 [90]
0- 1
-0 1
.names prog_2 n_n88 [100]
0- 1
-1 1
.names nstate_0 nstate_1 nstate_3 nstate_5 [125]
1001 1
.names rdy1rths1 rdy2rths1 [163]
01 1
10 1
.names prog_0 prog_1 [95]
01 1
10 1
.names nstate_2 nstate_4 [171] [305] [165]
1--- 1
---1 1
-01- 1
.names nstate_1 nstate_4 [87]
00 1
.names prog_0 prog_2 [99] n_n88 [168]
-1-0 1
0-10 1
.names prog_0 prog_2 n_n87 [99] [167]
-10- 1
1-01 1
.names prog_2 nstate_1 nstate_4 [131]
000 1
.names nstate_0 nstate_1 [170]
01 1
10 1
.names fullihs1 fullohs1 prog_2 indonehs1 [171]
1-1- 1
-11- 1
--00 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 fullihs1 fullohs1 nstate_0 [155]
--0 1
00- 1
.names prog_2 n_n189 [988] [111]
111 1
.names n_n87 [163] [131] [1040] [116]
0111 1
.names nstate_1 n_n189 [1042] [117]
111 1
.names prog_2 n_n87 [139] [1043] [175]
1011 1
.names indonehs1 [103] [182] [184] [177]
11-- 1
1-1- 1
1--1 1
.names n_n87 [132] [131] [933] [178]
0111 1
.names outpuths1 nstate_0 nstate_4 n_n88 [182]
1010 1
.names nstate_0 nstate_1 nstate_4 [972] [184]
0100 1
1000 1
.names nstate_0 [123] n_n88 [92] [187]
1101 1
.names fullihs1 fullohs1 n_n48 [223] [188]
0-0- 1
-00- 1
0--1 1
-0-1 1
.names indonehs1 nstate_2 [122] [120] [191]
1010 1
.names prog_1 nstate_0 nstate_4 n_n88 [195]
1010 1
.names nstate_0 nstate_1 nstate_4 [972] [196]
0100 1
1000 1
.names n_n87 [131] [1025] [1026] [198]
0111 1
.names fullohs1 prog_0 prog_2 rdy1rths1 [202]
1100 1
.names prog_0 nstate_0 nstate_4 n_n88 [205]
1010 1
.names prog_0 prog_2 nstate_4 [122] [206]
0001 1
.names n_n87 [141] [131] [933] [213]
0111 1
.names wantbmhs1 [219] [220] [214]
01- 1
0-1 1
.names fullohs1 n_n48 [223] [215]
00- 1
0-1 1
.names prog_2 n_n87 [124] [139] [219]
1011 1
.names wantrths1 prog_2 n_n88 [920] [220]
0100 1
.names nstate_3 nstate_4 [941] [1003] [221]
1001 1
.names nstate_1 nstate_3 n_n189 [222]
011 1
.names prog_0 [123] n_n88 [1010] [223]
0101 1
.names rdy1bmhs1 rdy2bmhs1 nstate_0 nstate_1 [227]
1010 1
.names rdy1rths1 rdy2rths1 nstate_0 nstate_1 [228]
1001 1
.names fullihs1 fullohs1 prog_2 [96] [229]
1-10 1
-110 1
.names prog_0 n_n88 [90] [125] [230]
--11 1
001- 1
.names prog_0 [122] n_n87 [85] [231]
-1-1 1
1-01 1
.names prog_2 nstate_0 n_n88 [232]
100 1
.names rdy2rths1 nstate_4 [122] [984] [242]
-1-1 1
011- 1
.names indonehs1 nstate_0 nstate_4 n_n88 [243]
0010 1
.names rdy2bmhs1 prog_0 prog_1 [244]
101 1
110 1
.names nstate_0 nstate_3 [128] [249]
111 1
.names tparrayhs1 nstate_3 nstate_4 [941] [250]
0100 1
.names nstate_1 n_n87 [92] [124] [253]
1011 1
.names nstate_0 [123] n_n88 [92] [254]
1101 1
.names nstate_1 nstate_3 nstate_4 [941] [255]
1100 1
.names indonehs1 nstate_0 nstate_1 [972] [256]
0010 1
0100 1
.names rttshs1 n_n189 [257]
01 1
.names nstate_0 nstate_1 [261]
11 1
00 1
.names rdy1bmhs1 nstate_0 [96] [264]
010 1
.names n_n87 [126] [131] [951] [274]
0111 1
.names indonehs1 nstate_1 nstate_3 n_n189 [277]
0111 1
.names nstate_2 nstate_4 [122] [171] [278]
1-1- 1
-011 1
.names rdy1bmhs1 nstate_0 n_n88 [92] [286]
0101 1
.names prog_2 n_n87 [87] [954] [287]
1011 1
.names nstate_2 nstate_3 [944] [289]
001 1
.names n_n87 [131] [929] [298]
011 1
.names nstate_1 n_n87 [92] [132] [301]
1011 1
.names n_n87 [124] [131] [933] [302]
0111 1
.names rdy1bmhs1 rdy2bmhs1 prog_2 nstate_4 [305]
0-1- 1
-01- 1
0--1 1
-0-1 1
.names prog_0 prog_2 nstate_4 [122] [320]
1001 1
.names nstate_4 nstate_0 [915]
10 1
.names prog_0 prog_2 nstate_0 nstate_4 [917]
1010 1
.names nstate_2 [122] n_n88 [915] [918]
11-- 1
--01 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 fullihs1 fullohs1 nstate_0 [926]
000 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 prog_0 fullohs1 [933]
10 1
.names [96] n_n174 [302] [925] [936]
-1-- 1
--1- 1
0--1 1
.names [133] [125] [165] [931] [937]
-11- 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 prog_2 nstate_0 nstate_1 nstate_4 [944]
1000 1
.names nstate_3 nstate_4 [97] [941] [945]
--1- 1
10-0 1
.names rdy2rths1 [167] [289] [945] [947]
--1- 1
---1 1
01-- 1
.names fullihs1 fullohs1 rdy1rths1 rdy2rths1 [949]
0110 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 [96] [925] [940] [941] [958]
01-- 1
--00 1
.names rdy1rths1 rdy2rths1 [143] [277] [960]
---1 1
0-1- 1
-01- 1
.names [93] [274] [278] [962]
1-- 1
-1- 1
--1 1
.names n_n22 [958] [960] [962] [964]
0--- 1
-1-- 1
--1- 1
---1 1
.names nstate_3 nstate_4 [97] [941] [967]
--1- 1
10-0 1
.names rdy1bmhs1 fullihs1 rdy2bmhs1 fullohs1 [970]
1010 1
.names nstate_2 nstate_3 nstate_5 [972]
0-- 1
-1- 1
--0 1
.names nstate_1 nstate_3 n_n189 [973]
1-1 1
-11 1
.names n_n191 [254] [257] [973] [978]
1--- 1
-1-- 1
--1- 1
---1 1
.names [84] [158] [244] [982]
11- 1
-11 1
.names rdy1bmhs1 rdy2bmhs1 wantbmhs1 prog_0 [983]
--01 1
10-1 1
.names rdy2bmhs1 [125] [261] [972] [984]
01-- 1
--00 1
.names [118] [243] [982] [985]
-1- 1
0-1 1
.names rttshs1 nstate_1 nstate_3 [988]
100 1
.names prog_2 nstate_3 nstate_4 nstate_5 [990]
0001 1
.names nstate_0 nstate_1 [972] [990] [992]
010- 1
100- 1
01-1 1
10-1 1
.names n_n181 [153] [152] [230] [995]
1--- 1
-0-- 1
--0- 1
---1 1
.names [229] [231] [232] [992] [996]
1--- 1
-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 fullohs1 prog_2 [227] [228] [1002]
011- 1
01-1 1
.names nstate_1 tparrayhs1 [1003]
11 1
.names rdy1bmhs1 rdy2bmhs1 [139] [172] [1005]
1011 1
.names rdy2bmhs1 rdy1bmhs1 [1007]
0- 1
-1 1
.names prog_2 nstate_0 nstate_4 [1008]
1-- 1
-1- 1
--1 1
.names prog_2 nstate_0 nstate_4 [1010]
000 1
.names [100] [221] [222] [1005] [1012]
-1-- 1
--1- 1
0--1 1
.names n_n64 [213] [1000] [1002] [1013]
-1-- 1
0-0- 1
0--1 1
.names nstate_3 nstate_4 n_n189 [941] [1016]
1-1- 1
10-0 1
.names [122] [134] n_n88 [917] [1017]
11-- 1
--01 1
.names rdy2rths1 nstate_0 nstate_1 [1023]
100 1
.names fullihs1 [96] [1023] [1024]
001 1
.names fullihs1 fullohs1 prog_0 [1025]
010 1
.names rdy1bmhs1 rdy2bmhs1 [1026]
01 1
10 1
.names [93] [150] [198] [1024] [1029]
1--- 1
--1- 1
-1-1 1
.names n_n22 [126] n_n48 [95] [1032]
-10- 1
0--0 1
.names wantbmhs1 [100] [187] [1005] [1034]
--1- 1
10-1 1
.names nstate_0 nstate_3 nstate_5 [1036]
101 1
.names n_n35 [221] [222] [1037]
0-- 1
-1- 1
--1 1
.names fullohs1 n_n48 [178] [1038]
--1 1
00- 1
.names fullihs1 fullohs1 prog_0 [1040]
0-1 1
-01 1
.names rdy1rths1 rdy2rths1 nstate_3 [1042]
110 1
.names rdy1bmhs1 rdy2bmhs1 wantbmhs1 wantrths1 [1043]
--01 1
10-1 1
.names n_n35 [116] [117] [1046]
0-- 1
-1- 1
--1 1
.names n_n87 n_n191 [131] [111] [1048]
-1-- 1
---1 1
0-1- 1
.names nstate_2 n_n88 [125] [915] [1049]
1-1- 1
-0-1 1
.names nstate_3 [97] [1016] [1049] [1050]
--1- 1
---1 1
11-- 1
.names nstate_3 nstate_2 [1051]
10 1
.names [128] [940] [941] [1051] [1052]
-00- 1
1--1 1
.names [131] [184] [1036] [1052] [1054]
-1-- 1
---1 1
1-1- 1
.end