.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 [334] pcntvcon2
0- 1
-0 1
.names nct2 [320] pready
10 1
.names nmrvqn0 pp0
0 1
.names nmrvqn1 pp1
0 1
.names nmrvqn2 pp2
0 1
.names nct2 [334] 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 [63] nmrvg2vd
01 1
.names pstart [109] nacvg2vd1
1- 1
-1 1
.names pstart [102] nacvg1vd1
1- 1
-1 1
.names [53] [69] nmrvg4vd
11 1
.names nmrvg3vdvad2nf [70] nmrvg3vd
01 1
.names [92] [93] ncntvg2vd
1- 1
-1 1
.names pstart [72] ncntvg1vd
01 1
.names [88] [333] nacvg4vd1
1- 1
-1 1
.names pstart [83] nacvg3vd1
1- 1
-1 1
.names pstart [75] ncntvg3vd
01 1
.names nmrvg1vdvad2nf [77] nmrvg1vd
01 1
.names [55] [78] nam3
1- 1
-1 1
.names [51] [52] nam2
1- 1
-1 1
.names [47] [50] nam1
1- 1
-1 1
.names [45] [46] nam0
1- 1
-1 1
.names nct2 [320] nreadyn
0- 1
-1 1
.names nreadyn niiniit nadsh
10 1
.names [111] [112] [58]
1- 1
-1 1
.names nadsh [58] nsmvg3vg1vad2nf
11 1
.names nct2 [321] niiniit
01 1
.names nax3 [332] [48]
0- 1
-1 1
.names naddvg3vcn [44] [60]
1- 1
-0 1
.names [48] [60] naddvg4vcn
11 1
.names [85] [86] [61]
1- 1
-1 1
.names nadsh [61] nsmvg4vg1vad2nf
11 1
.names nreadyn niiniit [56]
11 1
.names [79] [80] nmrvg1vdvad2nf
1- 1
-1 1
.names [115] [116] nmrvg2vdvad2nf
1- 1
-1 1
.names nmrvqn2 nadsh [63]
1- 1
-0 1
.names [94] [95] nmrvg3vdvad2nf
1- 1
-1 1
.names nacvqn1 nadsh [64]
1- 1
-1 1
.names [104] [105] [65]
1- 1
-1 1
.names nadsh [65] nsmvg2vg1vad2nf
11 1
.names [71] [322] naddvg2vcnvad2nf
11 1
.names nax1 [323] [67]
0- 1
-1 1
.names naddvg2vcnvad2nf [67] naddvg2vcn
01 1
.names nacvqn0 nadsh [68]
1- 1
-1 1
.names [100] [328] [53]
1- 1
-1 1
.names nadsh [329] [69]
0- 1
-1 1
.names nmrvqn3 nadsh [70]
1- 1
-0 1
.names nmrvqn0 nax0 [49]
1- 1
-0 1
.names nacvqn1 nax1 [71]
0- 1
-1 1
.names nct0 nreadyn [72]
0- 1
-0 1
.names nax2 [324] [54]
0- 1
-1 1
.names naddvg2vcn [43] [73]
1- 1
-0 1
.names [54] [73] naddvg3vcn
11 1
.names nacvqn2 nadsh [74]
1- 1
-1 1
.names nct2 [76] [75]
11 1
00 1
.names nmrvqn1 nadsh [77]
1- 1
-0 1
.names nacvqn2 [113] [43]
0- 1
-1 1
.names nacvqn3 [90] [44]
0- 1
-1 1
.names [54] [73] [59]
0- 1
11 1
.names naddvg3vcn [44] [62]
0- 1
-1 1
.names [106] [327] [66]
1- 1
-1 1
.names nct1 nct0 [76]
0- 1
-0 1
.names nax0 niiniit [45]
10 1
.names pa0 niiniit [46]
11 1
.names nax1 niiniit [47]
10 1
.names pa1 niiniit [50]
11 1
.names nax2 niiniit [51]
10 1
.names pa2 niiniit [52]
11 1
.names nax3 niiniit [55]
10 1
.names pa3 niiniit [78]
11 1
.names nmrvqn0 nreadyn [79]
00 1
.names pb0 [56] [80]
11 1
.names nsmvg4vg1vad2nf [74] [83]
01 1
.names naddvg4vcn [62] [85]
11 1
.names [48] naddvg3vcn [86]
00 1
.names nacvqn3 nadsh [87]
10 1
.names nadsh naddvg4vcn [88]
11 1
.names nmrvqn0 nax3 [90]
01 1
.names nreadyn [331] [92]
11 1
.names nct1 ncntvg1vd [93]
11 1
.names nmrvqn2 nreadyn [94]
00 1
.names pb2 [56] [95]
11 1
.names nmrvqn3 nreadyn [99]
10 1
.names pb3 nreadyn [100]
01 1
.names nsmvg2vg1vad2nf [68] [102]
01 1
.names [325] [326] [104]
11 1
.names naddvg2vcn [66] [105]
11 1
.names nacvqn0 [49] [106]
00 1
.names nmrvqn0 nax1 [107]
01 1
.names nsmvg3vg1vad2nf [64] [109]
01 1
.names naddvg2vcn [59] [111]
01 1
.names naddvg3vcn [43] [112]
11 1
.names nmrvqn0 nax2 [113]
01 1
.names nmrvqn1 nreadyn [115]
00 1
.names pb1 [56] [116]
11 1
.names nct0 nct1 [320]
0- 1
-1 1
.names nct0 nct1 [321]
00 1
.names [49] nacvqn0 [322]
00 1
.names nmrvqn0 nacvqn1 [323]
1- 1
-1 1
.names nmrvqn0 nacvqn2 [324]
1- 1
-1 1
.names nacvqn0 nacvqn1 [325]
00 1
.names [49] nax1 [326]
01 1
.names [107] nacvqn1 [327]
1- 1
-0 1
.names [99] nadsh [328]
1- 1
-1 1
.names nacvqn0 [49] [329]
11 1
00 1
.names nct1 pstart [330]
00 1
.names [330] nct0 [331]
11 1
.names nmrvqn0 nacvqn3 [332]
1- 1
-1 1
.names [87] pstart [333]
1- 1
-1 1
.names nct0 nct1 [334]
11 1
.end