#
# Formal Terminal description for x4: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 l1<7>
FORMAL_TERMINAL l1<6>
FORMAL_TERMINAL l1<5>
FORMAL_TERMINAL l1<4>
FORMAL_TERMINAL l1<3>
FORMAL_TERMINAL l1<2>
FORMAL_TERMINAL l1<1>
FORMAL_TERMINAL l1<0>
FORMAL_TERMINAL l2<7>
FORMAL_TERMINAL l2<6>
FORMAL_TERMINAL l2<5>
FORMAL_TERMINAL l2<4>
FORMAL_TERMINAL l2<3>
FORMAL_TERMINAL l2<2>
FORMAL_TERMINAL l2<1>
FORMAL_TERMINAL l2<0>
FORMAL_TERMINAL r1<7>
FORMAL_TERMINAL r1<6>
FORMAL_TERMINAL r1<5>
FORMAL_TERMINAL r1<4>
FORMAL_TERMINAL r1<3>
FORMAL_TERMINAL r1<2>
FORMAL_TERMINAL r1<1>
FORMAL_TERMINAL r1<0>
FORMAL_TERMINAL r2<7>
FORMAL_TERMINAL r2<6>
FORMAL_TERMINAL r2<5>
FORMAL_TERMINAL r2<4>
FORMAL_TERMINAL r2<3>
FORMAL_TERMINAL r2<2>
FORMAL_TERMINAL r2<1>
FORMAL_TERMINAL r2<0>
FORMAL_TERMINAL reset
	DIRECTION OUTPUT
FORMAL_TERMINAL win1<7>
FORMAL_TERMINAL win1<6>
FORMAL_TERMINAL win1<5>
FORMAL_TERMINAL win1<4>
FORMAL_TERMINAL win1<3>
FORMAL_TERMINAL win1<2>
FORMAL_TERMINAL win1<1>
FORMAL_TERMINAL win1<0>
FORMAL_TERMINAL win2<7>
FORMAL_TERMINAL win2<6>
FORMAL_TERMINAL win2<5>
FORMAL_TERMINAL win2<4>
FORMAL_TERMINAL win2<3>
FORMAL_TERMINAL win2<2>
FORMAL_TERMINAL win2<1>
FORMAL_TERMINAL win2<0>
FORMAL_TERMINAL los1<7>
FORMAL_TERMINAL los1<6>
FORMAL_TERMINAL los1<5>
FORMAL_TERMINAL los1<4>
FORMAL_TERMINAL los1<3>
FORMAL_TERMINAL los1<2>
FORMAL_TERMINAL los1<1>
FORMAL_TERMINAL los1<0>
FORMAL_TERMINAL los2<7>
FORMAL_TERMINAL los2<6>
FORMAL_TERMINAL los2<5>
FORMAL_TERMINAL los2<4>
FORMAL_TERMINAL los2<3>
FORMAL_TERMINAL los2<2>
FORMAL_TERMINAL los2<1>
FORMAL_TERMINAL los2<0>
	TERMTYPE SUPPLY
	DIRECTION INPUT
FORMAL_TERMINAL Vdd
	TERMTYPE GROUND
FORMAL_TERMINAL GND
	TERMTYPE CLOCK
FORMAL_TERMINAL clk1
FORMAL_TERMINAL clk2