.model top
.inputs pa1 pb2 pa0 pb3 pa3 pb0 pa2 pb1 pclk pstart
.outputs pcntvcon2 pready pp0 pp1 pp2 pcntvco2 pp3 pp4 pp5 pp6 pp7
.latch    nmrvg2vd nmrvqn1 re pclk 2
.latch    nacvg2vd1 nacvqn1 re pclk 2
.latch    nacvg1vd1 nacvqn0 re pclk 2
.latch    nmrvg4vd nmrvqn3 re pclk 2
.latch    nmrvg3vd nmrvqn2 re pclk 2
.latch    ncntvg2vd nct1 re pclk 2
.latch    ncntvg1vd nct0 re pclk 2
.latch    nacvg4vd1 nacvqn3 re pclk 2
.latch    nacvg3vd1 nacvqn2 re pclk 2
.latch    ncntvg3vd nct2 re pclk 2
.latch    nmrvg1vd nmrvqn0 re pclk 2
.latch    nam3 nax3 re pclk 2
.latch    nam2 nax2 re pclk 2
.latch    nam1 nax1 re pclk 2
.latch    nam0 nax0 re pclk 2
.names nct1 nct0 nct2 pcntvcon2
0-- 1
-0- 1
--0 1
.names nct1 nct0 nct2 pready
011 1
.names nmrvqn0 pp0
0 1
.names nmrvqn1 pp1
0 1
.names nmrvqn2 pp2
0 1
.names nct1 nct0 nct2 pcntvco2
111 1
.names nmrvqn3 pp3
0 1
.names nacvqn0 pp4
0 1
.names nacvqn1 pp5
0 1
.names nacvqn2 pp6
0 1
.names nacvqn3 pp7
0 1
.names [60] [119] [120] nmrvg2vd
100 1
.names pstart [113] nacvg2vd1
1- 1
-1 1
.names pstart [106] nacvg1vd1
1- 1
-1 1
.names [66] [104] [337] nmrvg4vd
11- 1
1-1 1
.names [68] [98] [99] nmrvg3vd
100 1
.names pstart [70] ncntvg2vd
01 1
.names pstart [73] ncntvg1vd
01 1
.names nadsh naddvg4vcn [340] nacvg4vd1
--1 1
11- 1
.names pstart [85] nacvg3vd1
1- 1
-1 1
.names pstart [77] [76] ncntvg3vd
011 1
.names [78] [81] [82] nmrvg1vd
100 1
.names pa3 nax3 niiniit nam3
1-1 1
-10 1
.names pa2 nax2 niiniit nam2
1-1 1
-10 1
.names pa1 nax1 niiniit nam1
1-1 1
-10 1
.names pa0 nax0 niiniit nam0
1-1 1
-10 1
.names nct1 nct0 nct2 nreadyn
1-- 1
-0- 1
--0 1
.names nct1 nct0 nct2 nadsh
1-- 1
-01 1
-10 1
.names naddvg2vcn [59] [108] [58]
--1 1
11- 1
.names nct1 nct0 nct2 [56]
000 1
.names nct1 nct0 nct2 [57]
011 1
.names nct1 nct0 nct2 niiniit
000 1
.names nmrvqn2 nadsh [60]
1- 1
-0 1
.names nacvqn3 nmrvqn0 nax3 [49]
1-- 1
-1- 1
--0 1
.names [49] naddvg3vcn [43] naddvg4vcn
11- 1
1-0 1
.names naddvg2vcn [55] [44] [64]
00- 1
111 1
010 1
.names nadsh [338] [66]
0- 1
-1 1
.names nacvqn1 nmrvqn0 nax1 [67]
1-- 1
-1- 1
--0 1
.names [67] [69] [331] naddvg2vcn
10- 1
1-0 1
.names nmrvqn3 nadsh [68]
1- 1
-0 1
.names nacvqn1 nax1 [69]
0- 1
-1 1
.names nct1 nct0 nct2 [70]
10- 1
010 1
.names [49] naddvg3vcn [43] [71]
00- 1
111 1
100 1
.names nct1 nct0 nct2 [73]
-0- 1
011 1
.names nacvqn2 nmrvqn0 nax2 [55]
1-- 1
-1- 1
--0 1
.names naddvg2vcn [55] [44] naddvg3vcn
11- 1
-10 1
.names nct1 nct0 nct2 [77]
--1 1
11- 1
.names nct1 nct0 nct2 [76]
0-- 1
-0- 1
--0 1
.names nmrvqn1 nadsh [78]
1- 1
-0 1
.names nacvqn3 nmrvqn0 nax3 [43]
0-- 1
-01 1
.names nacvqn2 nmrvqn0 nax2 [44]
0-- 1
-01 1
.names [110] [336] [59]
1- 1
-1 1
.names nmrvqn0 [57] [81]
01 1
.names pb0 [56] [82]
11 1
.names nacvqn2 nadsh [71] [85]
10- 1
1-0 1
-10 1
.names nmrvqn2 [57] [98]
01 1
.names pb2 [56] [99]
11 1
.names pb3 nreadyn [104]
01 1
.names nacvqn0 nadsh [58] [106]
10- 1
1-0 1
-10 1
.names nacvqn1 nacvqn0 [335] [108]
001 1
.names nacvqn0 nmrvqn0 nax0 [110]
001 1
.names nacvqn1 nadsh [64] [113]
10- 1
1-0 1
-10 1
.names nmrvqn1 [57] [119]
01 1
.names pb1 [56] [120]
11 1
.names nacvqn0 nmrvqn0 nax0 [331]
001 1
.names nmrvqn0 nax1 nax0 [335]
011 1
.names nacvqn1 nmrvqn0 nax1 [336]
0-- 1
-01 1
.names nmrvqn3 nreadyn niiniit [337]
10- 1
-10 1
.names nacvqn0 nmrvqn0 nax0 [338]
11- 1
1-0 1
001 1
.names pstart nacvqn3 nadsh [340]
1-- 1
-10 1
.end