#
# Formal Terminal description for stage4: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 c1<7>
FORMAL_TERMINAL c1<6>
FORMAL_TERMINAL c1<5>
FORMAL_TERMINAL c1<4>
FORMAL_TERMINAL c1<3>
FORMAL_TERMINAL c1<2>
FORMAL_TERMINAL c1<1>
FORMAL_TERMINAL c1<0>
FORMAL_TERMINAL c2<7>
FORMAL_TERMINAL c2<6>
FORMAL_TERMINAL c2<5>
FORMAL_TERMINAL c2<4>
FORMAL_TERMINAL c2<3>
FORMAL_TERMINAL c2<2>
FORMAL_TERMINAL c2<1>
FORMAL_TERMINAL c2<0>
FORMAL_TERMINAL c3<7>
FORMAL_TERMINAL c3<6>
FORMAL_TERMINAL c3<5>
FORMAL_TERMINAL c3<4>
FORMAL_TERMINAL c3<3>
FORMAL_TERMINAL c3<2>
FORMAL_TERMINAL c3<1>
FORMAL_TERMINAL c3<0>
FORMAL_TERMINAL c4<7>
FORMAL_TERMINAL c4<6>
FORMAL_TERMINAL c4<5>
FORMAL_TERMINAL c4<4>
FORMAL_TERMINAL c4<3>
FORMAL_TERMINAL c4<2>
FORMAL_TERMINAL c4<1>
FORMAL_TERMINAL c4<0>
FORMAL_TERMINAL c5<7>
FORMAL_TERMINAL c5<6>
FORMAL_TERMINAL c5<5>
FORMAL_TERMINAL c5<4>
FORMAL_TERMINAL c5<3>
FORMAL_TERMINAL c5<2>
FORMAL_TERMINAL c5<1>
FORMAL_TERMINAL c5<0>
FORMAL_TERMINAL c6<7>
FORMAL_TERMINAL c6<6>
FORMAL_TERMINAL c6<5>
FORMAL_TERMINAL c6<4>
FORMAL_TERMINAL c6<3>
FORMAL_TERMINAL c6<2>
FORMAL_TERMINAL c6<1>
FORMAL_TERMINAL c6<0>
FORMAL_TERMINAL c7<7>
FORMAL_TERMINAL c7<6>
FORMAL_TERMINAL c7<5>
FORMAL_TERMINAL c7<4>
FORMAL_TERMINAL c7<3>
FORMAL_TERMINAL c7<2>
FORMAL_TERMINAL c7<1>
FORMAL_TERMINAL c7<0>
FORMAL_TERMINAL c8<7>
FORMAL_TERMINAL c8<6>
FORMAL_TERMINAL c8<5>
FORMAL_TERMINAL c8<4>
FORMAL_TERMINAL c8<3>
FORMAL_TERMINAL c8<2>
FORMAL_TERMINAL c8<1>
FORMAL_TERMINAL c8<0>
FORMAL_TERMINAL c9<7>
FORMAL_TERMINAL c9<6>
FORMAL_TERMINAL c9<5>
FORMAL_TERMINAL c9<4>
FORMAL_TERMINAL c9<3>
FORMAL_TERMINAL c9<2>
FORMAL_TERMINAL c9<1>
FORMAL_TERMINAL c9<0>
FORMAL_TERMINAL c10<7>
FORMAL_TERMINAL c10<6>
FORMAL_TERMINAL c10<5>
FORMAL_TERMINAL c10<4>
FORMAL_TERMINAL c10<3>
FORMAL_TERMINAL c10<2>
FORMAL_TERMINAL c10<1>
FORMAL_TERMINAL c10<0>
FORMAL_TERMINAL c11<7>
FORMAL_TERMINAL c11<6>
FORMAL_TERMINAL c11<5>
FORMAL_TERMINAL c11<4>
FORMAL_TERMINAL c11<3>
FORMAL_TERMINAL c11<2>
FORMAL_TERMINAL c11<1>
FORMAL_TERMINAL c11<0>
FORMAL_TERMINAL c12<7>
FORMAL_TERMINAL c12<6>
FORMAL_TERMINAL c12<5>
FORMAL_TERMINAL c12<4>
FORMAL_TERMINAL c12<3>
FORMAL_TERMINAL c12<2>
FORMAL_TERMINAL c12<1>
FORMAL_TERMINAL c12<0>
FORMAL_TERMINAL c13<7>
FORMAL_TERMINAL c13<6>
FORMAL_TERMINAL c13<5>
FORMAL_TERMINAL c13<4>
FORMAL_TERMINAL c13<3>
FORMAL_TERMINAL c13<2>
FORMAL_TERMINAL c13<1>
FORMAL_TERMINAL c13<0>
FORMAL_TERMINAL reset
	DIRECTION OUTPUT
FORMAL_TERMINAL output4<7>
FORMAL_TERMINAL output4<6>
FORMAL_TERMINAL output4<5>
FORMAL_TERMINAL output4<4>
FORMAL_TERMINAL output4<3>
FORMAL_TERMINAL output4<2>
FORMAL_TERMINAL output4<1>
FORMAL_TERMINAL output4<0>
FORMAL_TERMINAL d1<7>
FORMAL_TERMINAL d1<6>
FORMAL_TERMINAL d1<5>
FORMAL_TERMINAL d1<4>
FORMAL_TERMINAL d1<3>
FORMAL_TERMINAL d1<2>
FORMAL_TERMINAL d1<1>
FORMAL_TERMINAL d1<0>
FORMAL_TERMINAL d2<7>
FORMAL_TERMINAL d2<6>
FORMAL_TERMINAL d2<5>
FORMAL_TERMINAL d2<4>
FORMAL_TERMINAL d2<3>
FORMAL_TERMINAL d2<2>
FORMAL_TERMINAL d2<1>
FORMAL_TERMINAL d2<0>
FORMAL_TERMINAL d3<7>
FORMAL_TERMINAL d3<6>
FORMAL_TERMINAL d3<5>
FORMAL_TERMINAL d3<4>
FORMAL_TERMINAL d3<3>
FORMAL_TERMINAL d3<2>
FORMAL_TERMINAL d3<1>
FORMAL_TERMINAL d3<0>
FORMAL_TERMINAL d4<7>
FORMAL_TERMINAL d4<6>
FORMAL_TERMINAL d4<5>
FORMAL_TERMINAL d4<4>
FORMAL_TERMINAL d4<3>
FORMAL_TERMINAL d4<2>
FORMAL_TERMINAL d4<1>
FORMAL_TERMINAL d4<0>
FORMAL_TERMINAL d5<7>
FORMAL_TERMINAL d5<6>
FORMAL_TERMINAL d5<5>
FORMAL_TERMINAL d5<4>
FORMAL_TERMINAL d5<3>
FORMAL_TERMINAL d5<2>
FORMAL_TERMINAL d5<1>
FORMAL_TERMINAL d5<0>
FORMAL_TERMINAL d6<7>
FORMAL_TERMINAL d6<6>
FORMAL_TERMINAL d6<5>
FORMAL_TERMINAL d6<4>
FORMAL_TERMINAL d6<3>
FORMAL_TERMINAL d6<2>
FORMAL_TERMINAL d6<1>
FORMAL_TERMINAL d6<0>
FORMAL_TERMINAL d7<7>
FORMAL_TERMINAL d7<6>
FORMAL_TERMINAL d7<5>
FORMAL_TERMINAL d7<4>
FORMAL_TERMINAL d7<3>
FORMAL_TERMINAL d7<2>
FORMAL_TERMINAL d7<1>
FORMAL_TERMINAL d7<0>
FORMAL_TERMINAL d8<7>
FORMAL_TERMINAL d8<6>
FORMAL_TERMINAL d8<5>
FORMAL_TERMINAL d8<4>
FORMAL_TERMINAL d8<3>
FORMAL_TERMINAL d8<2>
FORMAL_TERMINAL d8<1>
FORMAL_TERMINAL d8<0>
FORMAL_TERMINAL d9<7>
FORMAL_TERMINAL d9<6>
FORMAL_TERMINAL d9<5>
FORMAL_TERMINAL d9<4>
FORMAL_TERMINAL d9<3>
FORMAL_TERMINAL d9<2>
FORMAL_TERMINAL d9<1>
FORMAL_TERMINAL d9<0>
FORMAL_TERMINAL d10<7>
FORMAL_TERMINAL d10<6>
FORMAL_TERMINAL d10<5>
FORMAL_TERMINAL d10<4>
FORMAL_TERMINAL d10<3>
FORMAL_TERMINAL d10<2>
FORMAL_TERMINAL d10<1>
FORMAL_TERMINAL d10<0>
FORMAL_TERMINAL d11<7>
FORMAL_TERMINAL d11<6>
FORMAL_TERMINAL d11<5>
FORMAL_TERMINAL d11<4>
FORMAL_TERMINAL d11<3>
FORMAL_TERMINAL d11<2>
FORMAL_TERMINAL d11<1>
FORMAL_TERMINAL d11<0>
FORMAL_TERMINAL d12<7>
FORMAL_TERMINAL d12<6>
FORMAL_TERMINAL d12<5>
FORMAL_TERMINAL d12<4>
FORMAL_TERMINAL d12<3>
FORMAL_TERMINAL d12<2>
FORMAL_TERMINAL d12<1>
FORMAL_TERMINAL d12<0>
	TERMTYPE SUPPLY
	DIRECTION INPUT
FORMAL_TERMINAL Vdd
	TERMTYPE GROUND
FORMAL_TERMINAL GND
	TERMTYPE CLOCK
FORMAL_TERMINAL clk1
FORMAL_TERMINAL clk2