vtr_flow/benchmarks/blif/6/apex7.blif

.model top
.inputs pdel1 pratr pbull1 pbull0 pwatch povacc pverr_n porwd_n pvlenesr \
pmmerr paccrpy pvacc pcat4 pvst1 pcapsd pcat3 pcat2 pcat1 plsd pvst0 pcat0 \
pibt2 pkbg_n pmarssr pend pvsumesr pbull5 ppluto4 pstar2 pbull4 ppluto5 ppy \
pstar3 pbull3 pcomppar pibt1 pstar0 pbull2 pibt0 pstar1 ppluto0 pfbi powl_n \
ppluto1 piclr ppluto2 pbull6 pcat5 ppluto3
.outputs pbull2_p pend_p pbull3_p porwd_f pbull4_p ppluto3_p pwatch_p pbull5_p \
pbull6_p ppluto5_p ppy_p ppluto4_p plsd_p pvlenesr_p pfbi_p pstar1_p \
pvsumesr_p paccrpy_p pkbg_f pmarssr_p pstar0_p pstar3_p pdel1_p pstar2_p \
pvst0_p pcomppar_p powl_f psdo pvst1_p ppluto1_p pratr_p ppluto0_p povacc_p \
ppluto2_p pbull0_p pverr_f pbull1_p
.names pbull1 pbull0 pwatch pbull2 powl_n pbull2_p
0--11 1
-0-11 1
--011 1
11101 1
.names pwatch pibt2 [59] [85] [162] [545] pend_p
--1--- 1
0----1 1
-0--01 1
---001 1
.names pbull1 pbull0 pwatch pbull3 pbull2 powl_n pbull3_p
0--1-1 1
-0-1-1 1
--01-1 1
---101 1
111011 1
.names pwatch pibt2 [85] [162] porwd_f
0--- 1
-0-0 1
--00 1
.names pbull4 powl_n [41] pbull4_p
111 1
010 1
.names pibt2 pibt1 pibt0 powl_n ppluto3 n__1015_m_ ppluto3_p
---11- 1
101--1 1
.names pwatch povacc pvacc powl_n pwatch_p
1--1 1
-101 1
.names pbull5 pbull4 powl_n [41] pbull5_p
1-11 1
0110 1
1010 1
.names pbull5 pbull4 powl_n pbull6 [41] pbull6_p
0-11- 1
-011- 1
--111 1
11100 1
.names pibt2 ppluto5 pibt1 pibt0 powl_n n__1015_m_ ppluto5_p
-1--1- 1
1-11-1 1
.names pdel1 ppy pfbi piclr ppy_p
1-10 1
-100 1
.names pibt2 ppluto4 pibt1 pibt0 powl_n n__1015_m_ ppluto4_p
-1--1- 1
1-10-1 1
.names plsd powl_n [68] [133] plsd_p
---1 1
111- 1
.names pvlenesr pkbg_n powl_n pvlenesr_p
1-1 1
-01 1
.names porwd_n pfbi [72] [71] [564] pfbi_p
0-1-- 1
-11-- 1
---11 1
.names porwd_n pstar0 pstar1 pfbi powl_n porwd_f pstar1_p
-01-1- 1
-1011- 1
1-101- 1
--1011 1
010-10 1
.names pvst1 pend pvsumesr powl_n pvsumesr_p
--11 1
11-1 1
.names pwatch pibt2 [85] [116] [162] [545] paccrpy_p
---1-- 1
0----1 1
-0--01 1
--0-01 1
.names pkbg_n powl_n n__42_m_ [55] pkbg_f
-0-- 1
1-1- 1
1--1 1
.names pwatch pmarssr powl_n [550] [551] pmarssr_p
-11-- 1
1-111 1
.names pstar0 pfbi powl_n n__44_m__inv [127] pstar0_p
1--0- 1
0---1 1
011-- 1
.names pfbi powl_n [103] [127] [570] pstar3_p
--1-- 1
---11 1
11--1 1
.names pcapsd piclr pdel1_p
10 1
.names porwd_n pstar2 pfbi powl_n porwd_f [38] pstar2_p
-1-1-1 1
1101-- 1
-1011- 1
-011-0 1
00-100 1
.names pvst1 pvst0 pfbi piclr pvst0_p
1-10 1
-100 1
.names pdel1 pcomppar pfbi powl_n pcomppar_p
01-1 1
-101 1
1011 1
.names pbull1 pbull0 pwatch pbull6 [551] [575] powl_f
0----1 1
-1---1 1
--0--1 1
---0-1 1
----01 1
.names pvst1 ppy pfbi piclr pvst1_p
-110 1
1-00 1
.names pibt2 pibt1 pibt0 powl_n ppluto1 n__1015_m_ ppluto1_p
---11- 1
011--1 1
.names pratr pmmerr pvst0 pend pcomppar powl_n pratr_p
1----1 1
---101 1
-001-1 1
.names pibt2 pibt1 pibt0 ppluto0 powl_n n__1015_m_ ppluto0_p
---11- 1
010--1 1
.names pvacc piclr povacc_p
10 1
.names pibt2 pibt1 pibt0 powl_n ppluto2 n__1015_m_ ppluto2_p
---11- 1
100--1 1
.names pbull0 pwatch powl_n pbull0_p
011 1
101 1
.names pwatch pverr_n powl_n n__42_m_ ntimot [55] pverr_f
--0--- 1
-1-10- 1
01---1 1
-1--01 1
.names pbull1 pbull0 pwatch powl_n pbull1_p
10-1 1
1-01 1
0111 1
.names pend powl_n [59]
11 1
.names pbull1 pbull0 pwatch pbull3 pbull2 [41]
0---- 1
-0--- 1
--0-- 1
---0- 1
----0 1
.names pstar2 pstar0 pstar1 nc2g5
1-- 1
-0- 1
--0 1
.names pstar2 pstar3 pstar0 pstar1 pfbi [68]
1---- 1
-0--- 1
--0-- 1
---0- 1
----0 1
.names pfbi powl_n n__219_m_
0- 1
-0 1
.names pstar0 pstar1 [38]
0- 1
-0 1
.names pwatch pibt2 powl_n [85] [131] [162] [72]
----1- 1
1-1--1 1
1111-- 1
.names pwatch pibt2 powl_n nc2g5 [85] [162] [71]
---1-- 1
1-1--1 1
111-1- 1
.names pwatch porwd_n pibt2 [85] [162] [566] n__44_m__inv
-----1 1
10--1- 1
1011-- 1
.names pwatch powl_n [152] [550] [551] [552] n__1015_m_
--1--- 1
-1---1 1
11-11- 1
.names pstar2 pstar3 pstar0 pstar1 [82]
1--- 1
-0-- 1
--0- 1
---0 1
.names pwatch pibt2 [82] [85] [114] [162] n__42_m_
--1-1- 1
1-1--1 1
1111-- 1
.names pbull1 pbull0 pbull6 [551] ntimot
1011 1
.names pcat4 pcat3 pcat2 pibt1 pibt0 pcat5 [85]
-0-01- 1
0--10- 1
--000- 1
---110 1
.names pwatch pibt2 nc2g5 n__219_m_ [85] [162] [55]
---1-- 1
0-0--- 1
-00--0 1
--0-00 1
.names pvst0 psdo
1 1
.names pstar2 pstar3 pstar0 pstar1 powl_n n__44_m__inv [103]
-1---0 1
01--1- 1
-10-1- 1
-1-01- 1
.names pwatch pcat1 pcat0 pibt2 pibt1 [114]
10001 1
.names paccrpy powl_n [116]
11 1
.names pwatch porwd_n pibt2 powl_n [85] [162] [127]
10-1-1 1
10111- 1
.names pstar2 pstar0 pstar1 pfbi powl_n [131]
1--11 1
-0-11 1
--011 1
.names pwatch pibt2 powl_n [85] [162] [561] [133]
1-1-11 1
1111-1 1
.names pmmerr pvst0 pend pcomppar powl_n [152]
--101 1
001-1 1
.names pcat1 pcat0 pibt2 pibt1 pibt0 [162]
0-011 1
-0010 1
.names pstar2 pstar0 pstar1 pfbi powl_n [545]
01111 1
.names pbull1 pbull0 pbull6 [550]
101 1
.names pbull5 pbull4 pbull3 pbull2 [551]
0100 1
.names pvst1 pkbg_n pend [552]
-0- 1
1-1 1
.names pstar2 pstar3 pstar0 pstar1 pfbi [561]
00111 1
.names pstar0 pstar1 pfbi powl_n [564]
0-11 1
-011 1
.names powl_n pfbi [566]
0- 1
-1 1
.names pstar2 pstar3 pstar0 pstar1 [570]
1011 1
.names pkbg_n pend piclr [575]
100 1
.end