#
# Formal Terminal description for stage2:logic
# padp recognizes the following keywords:
# TERMTYPE (SUPPLY | GROUND | SIGNAL | CLOCK) : DEFAULT = SIGNAL
# DIRECTION (INPUT | OUTPUT | INOUT) : DEFAULT = INOUT
# PEAKCURRENT ( x (in Amperes)) : DEFAULT = 0.0
#   NOTE: PEAKCURRENT applies only to SUPPLY and GROUND terminals
# TERM_FLOATING_EDGES (ALL | {LEFT|RIGHT|TOP|BOTTOM})
# TERM_EDGE (LEFT | RIGHT | TOP | BOTTOM) : DEFAULT = none
# TERM_ROW ( 0 | 1 | 2 | ... | n) : DEFAULT = 0
# TERM_RELATIVE_POSITION ( 0.0 <= x <= 1.0) : DEFAULT = none
# TERM_RELATIVE_POSITION_STEP ( 0.0 <= x <= 1.0) : DEFAULT = 0.0

# This file uses a 'REVERSE' logic: 
# First you specify the properties
# then the terminal for which the props apply
	TERMTYPE SIGNAL
	DIRECTION INPUT
FORMAL_TERMINAL a1<7>
FORMAL_TERMINAL a1<6>
FORMAL_TERMINAL a1<5>
FORMAL_TERMINAL a1<4>
FORMAL_TERMINAL a1<3>
FORMAL_TERMINAL a1<2>
FORMAL_TERMINAL a1<1>
FORMAL_TERMINAL a1<0>
FORMAL_TERMINAL a2<7>
FORMAL_TERMINAL a2<6>
FORMAL_TERMINAL a2<5>
FORMAL_TERMINAL a2<4>
FORMAL_TERMINAL a2<3>
FORMAL_TERMINAL a2<2>
FORMAL_TERMINAL a2<1>
FORMAL_TERMINAL a2<0>
FORMAL_TERMINAL a3<7>
FORMAL_TERMINAL a3<6>
FORMAL_TERMINAL a3<5>
FORMAL_TERMINAL a3<4>
FORMAL_TERMINAL a3<3>
FORMAL_TERMINAL a3<2>
FORMAL_TERMINAL a3<1>
FORMAL_TERMINAL a3<0>
FORMAL_TERMINAL a4<7>
FORMAL_TERMINAL a4<6>
FORMAL_TERMINAL a4<5>
FORMAL_TERMINAL a4<4>
FORMAL_TERMINAL a4<3>
FORMAL_TERMINAL a4<2>
FORMAL_TERMINAL a4<1>
FORMAL_TERMINAL a4<0>
FORMAL_TERMINAL a5<7>
FORMAL_TERMINAL a5<6>
FORMAL_TERMINAL a5<5>
FORMAL_TERMINAL a5<4>
FORMAL_TERMINAL a5<3>
FORMAL_TERMINAL a5<2>
FORMAL_TERMINAL a5<1>
FORMAL_TERMINAL a5<0>
FORMAL_TERMINAL a6<7>
FORMAL_TERMINAL a6<6>
FORMAL_TERMINAL a6<5>
FORMAL_TERMINAL a6<4>
FORMAL_TERMINAL a6<3>
FORMAL_TERMINAL a6<2>
FORMAL_TERMINAL a6<1>
FORMAL_TERMINAL a6<0>
FORMAL_TERMINAL a7<7>
FORMAL_TERMINAL a7<6>
FORMAL_TERMINAL a7<5>
FORMAL_TERMINAL a7<4>
FORMAL_TERMINAL a7<3>
FORMAL_TERMINAL a7<2>
FORMAL_TERMINAL a7<1>
FORMAL_TERMINAL a7<0>
FORMAL_TERMINAL a8<7>
FORMAL_TERMINAL a8<6>
FORMAL_TERMINAL a8<5>
FORMAL_TERMINAL a8<4>
FORMAL_TERMINAL a8<3>
FORMAL_TERMINAL a8<2>
FORMAL_TERMINAL a8<1>
FORMAL_TERMINAL a8<0>
FORMAL_TERMINAL a9<7>
FORMAL_TERMINAL a9<6>
FORMAL_TERMINAL a9<5>
FORMAL_TERMINAL a9<4>
FORMAL_TERMINAL a9<3>
FORMAL_TERMINAL a9<2>
FORMAL_TERMINAL a9<1>
FORMAL_TERMINAL a9<0>
FORMAL_TERMINAL a10<7>
FORMAL_TERMINAL a10<6>
FORMAL_TERMINAL a10<5>
FORMAL_TERMINAL a10<4>
FORMAL_TERMINAL a10<3>
FORMAL_TERMINAL a10<2>
FORMAL_TERMINAL a10<1>
FORMAL_TERMINAL a10<0>
FORMAL_TERMINAL a11<7>
FORMAL_TERMINAL a11<6>
FORMAL_TERMINAL a11<5>
FORMAL_TERMINAL a11<4>
FORMAL_TERMINAL a11<3>
FORMAL_TERMINAL a11<2>
FORMAL_TERMINAL a11<1>
FORMAL_TERMINAL a11<0>
FORMAL_TERMINAL a12<7>
FORMAL_TERMINAL a12<6>
FORMAL_TERMINAL a12<5>
FORMAL_TERMINAL a12<4>
FORMAL_TERMINAL a12<3>
FORMAL_TERMINAL a12<2>
FORMAL_TERMINAL a12<1>
FORMAL_TERMINAL a12<0>
FORMAL_TERMINAL a13<7>
FORMAL_TERMINAL a13<6>
FORMAL_TERMINAL a13<5>
FORMAL_TERMINAL a13<4>
FORMAL_TERMINAL a13<3>
FORMAL_TERMINAL a13<2>
FORMAL_TERMINAL a13<1>
FORMAL_TERMINAL a13<0>
FORMAL_TERMINAL a14<7>
FORMAL_TERMINAL a14<6>
FORMAL_TERMINAL a14<5>
FORMAL_TERMINAL a14<4>
FORMAL_TERMINAL a14<3>
FORMAL_TERMINAL a14<2>
FORMAL_TERMINAL a14<1>
FORMAL_TERMINAL a14<0>
FORMAL_TERMINAL a15<7>
FORMAL_TERMINAL a15<6>
FORMAL_TERMINAL a15<5>
FORMAL_TERMINAL a15<4>
FORMAL_TERMINAL a15<3>
FORMAL_TERMINAL a15<2>
FORMAL_TERMINAL a15<1>
FORMAL_TERMINAL a15<0>
FORMAL_TERMINAL reset
	DIRECTION OUTPUT
FORMAL_TERMINAL output2<7>
FORMAL_TERMINAL output2<6>
FORMAL_TERMINAL output2<5>
FORMAL_TERMINAL output2<4>
FORMAL_TERMINAL output2<3>
FORMAL_TERMINAL output2<2>
FORMAL_TERMINAL output2<1>
FORMAL_TERMINAL output2<0>
FORMAL_TERMINAL b1<7>
FORMAL_TERMINAL b1<6>
FORMAL_TERMINAL b1<5>
FORMAL_TERMINAL b1<4>
FORMAL_TERMINAL b1<3>
FORMAL_TERMINAL b1<2>
FORMAL_TERMINAL b1<1>
FORMAL_TERMINAL b1<0>
FORMAL_TERMINAL b2<7>
FORMAL_TERMINAL b2<6>
FORMAL_TERMINAL b2<5>
FORMAL_TERMINAL b2<4>
FORMAL_TERMINAL b2<3>
FORMAL_TERMINAL b2<2>
FORMAL_TERMINAL b2<1>
FORMAL_TERMINAL b2<0>
FORMAL_TERMINAL b3<7>
FORMAL_TERMINAL b3<6>
FORMAL_TERMINAL b3<5>
FORMAL_TERMINAL b3<4>
FORMAL_TERMINAL b3<3>
FORMAL_TERMINAL b3<2>
FORMAL_TERMINAL b3<1>
FORMAL_TERMINAL b3<0>
FORMAL_TERMINAL b4<7>
FORMAL_TERMINAL b4<6>
FORMAL_TERMINAL b4<5>
FORMAL_TERMINAL b4<4>
FORMAL_TERMINAL b4<3>
FORMAL_TERMINAL b4<2>
FORMAL_TERMINAL b4<1>
FORMAL_TERMINAL b4<0>
FORMAL_TERMINAL b5<7>
FORMAL_TERMINAL b5<6>
FORMAL_TERMINAL b5<5>
FORMAL_TERMINAL b5<4>
FORMAL_TERMINAL b5<3>
FORMAL_TERMINAL b5<2>
FORMAL_TERMINAL b5<1>
FORMAL_TERMINAL b5<0>
FORMAL_TERMINAL b6<7>
FORMAL_TERMINAL b6<6>
FORMAL_TERMINAL b6<5>
FORMAL_TERMINAL b6<4>
FORMAL_TERMINAL b6<3>
FORMAL_TERMINAL b6<2>
FORMAL_TERMINAL b6<1>
FORMAL_TERMINAL b6<0>
FORMAL_TERMINAL b7<7>
FORMAL_TERMINAL b7<6>
FORMAL_TERMINAL b7<5>
FORMAL_TERMINAL b7<4>
FORMAL_TERMINAL b7<3>
FORMAL_TERMINAL b7<2>
FORMAL_TERMINAL b7<1>
FORMAL_TERMINAL b7<0>
FORMAL_TERMINAL b8<7>
FORMAL_TERMINAL b8<6>
FORMAL_TERMINAL b8<5>
FORMAL_TERMINAL b8<4>
FORMAL_TERMINAL b8<3>
FORMAL_TERMINAL b8<2>
FORMAL_TERMINAL b8<1>
FORMAL_TERMINAL b8<0>
FORMAL_TERMINAL b9<7>
FORMAL_TERMINAL b9<6>
FORMAL_TERMINAL b9<5>
FORMAL_TERMINAL b9<4>
FORMAL_TERMINAL b9<3>
FORMAL_TERMINAL b9<2>
FORMAL_TERMINAL b9<1>
FORMAL_TERMINAL b9<0>
FORMAL_TERMINAL b10<7>
FORMAL_TERMINAL b10<6>
FORMAL_TERMINAL b10<5>
FORMAL_TERMINAL b10<4>
FORMAL_TERMINAL b10<3>
FORMAL_TERMINAL b10<2>
FORMAL_TERMINAL b10<1>
FORMAL_TERMINAL b10<0>
FORMAL_TERMINAL b11<7>
FORMAL_TERMINAL b11<6>
FORMAL_TERMINAL b11<5>
FORMAL_TERMINAL b11<4>
FORMAL_TERMINAL b11<3>
FORMAL_TERMINAL b11<2>
FORMAL_TERMINAL b11<1>
FORMAL_TERMINAL b11<0>
FORMAL_TERMINAL b12<7>
FORMAL_TERMINAL b12<6>
FORMAL_TERMINAL b12<5>
FORMAL_TERMINAL b12<4>
FORMAL_TERMINAL b12<3>
FORMAL_TERMINAL b12<2>
FORMAL_TERMINAL b12<1>
FORMAL_TERMINAL b12<0>
FORMAL_TERMINAL b13<7>
FORMAL_TERMINAL b13<6>
FORMAL_TERMINAL b13<5>
FORMAL_TERMINAL b13<4>
FORMAL_TERMINAL b13<3>
FORMAL_TERMINAL b13<2>
FORMAL_TERMINAL b13<1>
FORMAL_TERMINAL b13<0>
FORMAL_TERMINAL b14<7>
FORMAL_TERMINAL b14<6>
FORMAL_TERMINAL b14<5>
FORMAL_TERMINAL b14<4>
FORMAL_TERMINAL b14<3>
FORMAL_TERMINAL b14<2>
FORMAL_TERMINAL b14<1>
FORMAL_TERMINAL b14<0>
	TERMTYPE SUPPLY
	DIRECTION INPUT
FORMAL_TERMINAL Vdd
	TERMTYPE GROUND
FORMAL_TERMINAL GND
	TERMTYPE CLOCK
FORMAL_TERMINAL clk1
FORMAL_TERMINAL clk2