vtr_flow/benchmarks/blif/8/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 pend powl_n [162] [163] [545] pend_p
-11--- 1
0----1 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 pcat1 pcat0 pibt2 pibt1 pibt0 [163] porwd_f
0------ 1
---1--0 1
----0-0 1
-1---10 1
--1--00 1
.names pbull1 pbull0 pwatch pbull4 pbull3 pbull2 powl_n pbull4_p
0--1--1 1
-0-1--1 1
--01--1 1
---10-1 1
---1-01 1
1110111 1
.names pibt2 pibt1 pibt0 powl_n ppluto3 [39] [152] [552] ppluto3_p
---11--- 1
101---1- 1
1011-0-- 1
1011---1 1
.names pwatch povacc pvacc powl_n pwatch_p
1--1 1
-101 1
.names pbull1 pbull0 pwatch pbull5 pbull4 pbull3 pbull2 powl_n pbull5_p
0--1---1 1
-0-1---1 1
--01---1 1
---1-0-1 1
---1--01 1
11101111 1
11110111 1
.names pbull1 pbull0 pwatch pbull3 pbull2 powl_n pbull6 [66] pbull6_p
-----1-1 1
0----11- 1
-0---11- 1
--0--11- 1
---0-11- 1
----011- 1
.names pibt2 ppluto5 pibt1 pibt0 powl_n [39] [152] [552] ppluto5_p
-1--1--- 1
1-11--1- 1
1-1110-- 1
1-111--1 1
.names pdel1 ppy pfbi piclr ppy_p
1-10 1
-100 1
.names pibt2 ppluto4 pibt1 pibt0 powl_n [39] [152] [552] ppluto4_p
-1--1--- 1
1-10--1- 1
1-1010-- 1
1-101--1 1
.names pwatch powl_n [134] [162] [163] [561] plsd_p
--1--- 1
11-1-1 1
11--11 1
.names pvlenesr pkbg_n powl_n pvlenesr_p
1-1 1
-01 1
.names pwatch porwd_n pstar2 pfbi powl_n [38] [162] [163] pfbi_p
--111--- 1
---111-- 1
10--1-1- 1
1--11-1- 1
10--1--1 1
1--11--1 1
.names pwatch porwd_n pstar0 pstar1 pfbi powl_n [162] [163] pstar1_p
--01-1-- 1
--1011-- 1
0--101-- 1
-1-101-- 1
---10100 1
1010-11- 1
1010-1-1 1
.names pvst1 pend pvsumesr powl_n pvsumesr_p
--11 1
11-1 1
.names pwatch paccrpy powl_n [162] [163] [545] paccrpy_p
-11--- 1
0----1 1
---001 1
.names powl_n [110] pkbg_f
0- 1
-1 1
.names pmarssr powl_n [39] pmarssr_p
11- 1
-10 1
.names pwatch porwd_n pstar0 pfbi powl_n [162] [163] pstar0_p
--011-- 1
0-101-- 1
-1101-- 1
100-11- 1
100-1-1 1
--10100 1
.names pwatch porwd_n pfbi powl_n [103] [162] [163] [570] pstar3_p
----1--- 1
--11---1 1
10-1-1-1 1
10-1--11 1
.names pcapsd piclr pdel1_p
10 1
.names pwatch porwd_n pstar2 pfbi powl_n [38] [162] [163] pstar2_p
--1-11-- 1
0-101--- 1
-1101--- 1
--0110-- 1
--101-00 1
100-101- 1
100-10-1 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 pkbg_n pend piclr [39] powl_f
1001 1
.names pvst1 ppy pfbi piclr pvst1_p
-110 1
1-00 1
.names pvst1 pkbg_n pend powl_n ppluto1 [39] [152] [577] ppluto1_p
---11--- 1
------11 1
-0-1---1 1
---1-0-1 1
1-11---1 1
.names pratr pmmerr pvst0 pend pcomppar powl_n pratr_p
1----1 1
---101 1
-001-1 1
.names pvst1 pkbg_n pend ppluto0 powl_n [39] [152] [578] ppluto0_p
---11--- 1
------11 1
-0--1--1 1
----10-1 1
1-1-1--1 1
.names pvacc piclr povacc_p
10 1
.names pibt2 pibt1 pibt0 powl_n ppluto2 [39] [152] [552] ppluto2_p
---11--- 1
100---1- 1
1001-0-- 1
1001---1 1
.names pbull0 pwatch powl_n pbull0_p
011 1
101 1
.names pverr_n powl_n [79] pverr_f
-0- 1
1-1 1
.names pbull1 pbull0 pwatch powl_n pbull1_p
10-1 1
1-01 1
0111 1
.names pbull1 pbull0 pwatch pbull5 pbull4 pbull3 pbull2 pbull6 [66]
---0---1 1
----0--1 1
11111110 1
.names pstar2 pstar0 pstar1 nc2g5
1-- 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 pbull1 pbull0 pwatch pbull5 pbull4 pbull3 pbull2 pbull6 [39]
0------- 1
-1------ 1
--0----- 1
---1---- 1
----0--- 1
-----1-- 1
------1- 1
-------0 1
.names pwatch pstar3 nc2g5 n__219_m_ ntimot [114] [162] [163] [79]
0-0----- 1
0--1---- 1
---10--- 1
-0--01-- 1
--1-01-- 1
10--0-1- 1
1-1-0-1- 1
10--0--1 1
1-1-0--1 1
--0-0-00 1
.names pbull1 pbull0 pbull5 pbull4 pbull3 pbull2 pbull6 ntimot
1001001 1
.names pvst0 psdo
1 1
.names pwatch porwd_n pstar3 [104] [106] [162] [163] [566] [103]
--11---- 1
--1-1--- 1
0-1----0 1
-11----0 1
--1--000 1
.names pstar2 powl_n [104]
01 1
.names pstar0 pstar1 powl_n [106]
0-1 1
-01 1
.names pwatch pkbg_n pstar3 nc2g5 n__219_m_ [114] [162] [163] [110]
-1--1--- 1
01-0---- 1
-10--1-- 1
-1-1-1-- 1
110---1- 1
11-1--1- 1
110----1 1
11-1---1 1
-1-0--00 1
.names pwatch pcat1 pcat0 pibt2 pibt1 [114]
10001 1
.names plsd pstar2 pstar3 pstar0 pstar1 pfbi powl_n [134]
11----1 1
1-0---1 1
1--0--1 1
1---0-1 1
1----01 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 pcat4 pcat3 pcat2 pibt2 pibt1 pibt0 pcat5 [163]
-0-101- 1
0--110- 1
--0100- 1
---1110 1
.names pstar2 pstar0 pstar1 pfbi powl_n [545]
01111 1
.names pvst1 pkbg_n pend [552]
-0- 1
1-1 1
.names pstar2 pstar3 pstar0 pstar1 pfbi [561]
00111 1
.names powl_n pfbi [566]
0- 1
-1 1
.names pstar2 pstar3 pstar0 pstar1 [570]
1011 1
.names pibt2 pibt1 pibt0 [577]
011 1
.names pibt2 pibt1 pibt0 [578]
010 1
.end