| .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 |
