.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 nct2 [341] pcntvcon2
0- 1
-0 1
.names nct2 [329] pready
10 1
.names nmrvqn0 pp0
0 1
.names nmrvqn1 pp1
0 1
.names nmrvqn2 pp2
0 1
.names nct2 [341] pcntvco2
11 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 nmrvg2vdvad2nf [60] nmrvg2vd
01 1
.names pstart [113] nacvg2vd1
1- 1
-1 1
.names pstart [106] nacvg1vd1
1- 1
-1 1
.names [51] [66] nmrvg4vd
11 1
.names nmrvg3vdvad2nf [68] nmrvg3vd
01 1
.names pstart [70] ncntvg2vd
01 1
.names pstart [73] ncntvg1vd
01 1
.names [90] [340] nacvg4vd1
1- 1
-1 1
.names pstart [85] nacvg3vd1
1- 1
-1 1
.names [77] [342] ncntvg3vd
11 1
.names nmrvg1vdvad2nf [78] nmrvg1vd
01 1
.names [79] [80] nam3
1- 1
-1 1
.names [52] [53] nam2
1- 1
-1 1
.names [48] [50] nam1
1- 1
-1 1
.names [46] [47] nam0
1- 1
-1 1
.names nct2 [329] nreadyn
0- 1
-1 1
.names nreadyn niiniit nadsh
10 1
.names [108] [109] [58]
1- 1
-1 1
.names nadsh [58] nsmvg2vg1vad2nf
11 1
.names nreadyn niiniit [56]
11 1
.names [98] [99] nmrvg3vdvad2nf
1- 1
-1 1
.names nct2 [330] niiniit
01 1
.names [119] [120] nmrvg2vdvad2nf
1- 1
-1 1
.names nmrvqn2 nadsh [60]
1- 1
-0 1
.names [81] [82] nmrvg1vdvad2nf
1- 1
-1 1
.names nax3 [339] [49]
0- 1
-1 1
.names naddvg3vcn [43] [61]
1- 1
-0 1
.names [49] [61] naddvg4vcn
11 1
.names nadsh [64] nsmvg3vg1vad2nf
11 1
.names nacvqn1 nadsh [62]
1- 1
-1 1
.names nacvqn0 nadsh [63]
1- 1
-1 1
.names [115] [116] [64]
1- 1
-1 1
.names [104] [337] [51]
1- 1
-1 1
.names nadsh [338] [66]
0- 1
-1 1
.names [69] [331] naddvg2vcnvad2nf
11 1
.names nax1 [332] [67]
0- 1
-1 1
.names naddvg2vcnvad2nf [67] naddvg2vcn
01 1
.names nmrvqn3 nadsh [68]
1- 1
-0 1
.names nmrvqn0 nax0 [54]
1- 1
-0 1
.names nacvqn1 nax1 [69]
0- 1
-1 1
.names nct1 [45] [70]
11 1
00 1
.names [87] [88] [71]
1- 1
-1 1
.names nadsh [71] nsmvg4vg1vad2nf
11 1
.names nct0 nreadyn [73]
01 1
10 1
.names nacvqn2 nadsh [74]
1- 1
-1 1
.names nax2 [333] [55]
0- 1
-1 1
.names naddvg2vcn [44] [75]
1- 1
-0 1
.names [55] [75] naddvg3vcn
11 1
.names nct2 [83] [77]
1- 1
-1 1
.names pcntvco2 nreadyn [76]
0- 1
-0 1
.names nmrvqn1 nadsh [78]
1- 1
-0 1
.names nacvqn3 [92] [43]
0- 1
-1 1
.names nacvqn2 [117] [44]
0- 1
-1 1
.names nct0 nreadyn [45]
0- 1
-0 1
.names [110] [336] [59]
1- 1
-1 1
.names [55] [75] [65]
0- 1
11 1
.names naddvg3vcn [43] [72]
0- 1
-1 1
.names nax0 niiniit [46]
10 1
.names pa0 niiniit [47]
11 1
.names nax1 niiniit [48]
10 1
.names pa1 niiniit [50]
11 1
.names nax2 niiniit [52]
10 1
.names pa2 niiniit [53]
11 1
.names nax3 niiniit [79]
10 1
.names pa3 niiniit [80]
11 1
.names nmrvqn0 nreadyn [81]
00 1
.names pb0 [56] [82]
11 1
.names nct1 [45] [83]
10 1
.names nsmvg4vg1vad2nf [74] [85]
01 1
.names naddvg4vcn [72] [87]
11 1
.names [49] naddvg3vcn [88]
00 1
.names nacvqn3 nadsh [89]
10 1
.names nadsh naddvg4vcn [90]
11 1
.names nmrvqn0 nax3 [92]
01 1
.names nmrvqn2 nreadyn [98]
00 1
.names pb2 [56] [99]
11 1
.names nmrvqn3 nreadyn [103]
10 1
.names pb3 nreadyn [104]
01 1
.names nsmvg2vg1vad2nf [63] [106]
01 1
.names [334] [335] [108]
11 1
.names naddvg2vcn [59] [109]
11 1
.names nacvqn0 [54] [110]
00 1
.names nmrvqn0 nax1 [111]
01 1
.names nsmvg3vg1vad2nf [62] [113]
01 1
.names naddvg2vcn [65] [115]
01 1
.names naddvg3vcn [44] [116]
11 1
.names nmrvqn0 nax2 [117]
01 1
.names nmrvqn1 nreadyn [119]
00 1
.names pb1 [56] [120]
11 1
.names nct0 nct1 [329]
0- 1
-1 1
.names nct0 nct1 [330]
00 1
.names [54] nacvqn0 [331]
00 1
.names nmrvqn0 nacvqn1 [332]
1- 1
-1 1
.names nmrvqn0 nacvqn2 [333]
1- 1
-1 1
.names nacvqn0 nacvqn1 [334]
00 1
.names [54] nax1 [335]
01 1
.names [111] nacvqn1 [336]
1- 1
-0 1
.names [103] nadsh [337]
1- 1
-1 1
.names nacvqn0 [54] [338]
11 1
00 1
.names nmrvqn0 nacvqn3 [339]
1- 1
-1 1
.names [89] pstart [340]
1- 1
-1 1
.names nct0 nct1 [341]
11 1
.names [76] pstart [342]
10 1
.end