#
# Formal Terminal description for cell: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
	TERM_EDGE TOP
	TERMTYPE SIGNAL
	DIRECTION INPUT
FORMAL_TERMINAL li<11>
FORMAL_TERMINAL li<10>
FORMAL_TERMINAL li<9>
FORMAL_TERMINAL li<8>
FORMAL_TERMINAL li<7>
FORMAL_TERMINAL li<6>
FORMAL_TERMINAL li<5>
FORMAL_TERMINAL li<4>
FORMAL_TERMINAL li<3>
FORMAL_TERMINAL li<2>
FORMAL_TERMINAL li<1>
FORMAL_TERMINAL li<0>
	TERM_EDGE RIGHT
FORMAL_TERMINAL ri<11>
FORMAL_TERMINAL ri<10>
FORMAL_TERMINAL ri<9>
FORMAL_TERMINAL ri<8>
FORMAL_TERMINAL ri<7>
FORMAL_TERMINAL ri<6>
FORMAL_TERMINAL ri<5>
FORMAL_TERMINAL ri<4>
FORMAL_TERMINAL ri<3>
FORMAL_TERMINAL ri<2>
FORMAL_TERMINAL ri<1>
FORMAL_TERMINAL ri<0>
FORMAL_TERMINAL lci
FORMAL_TERMINAL rci
FORMAL_TERMINAL sign
FORMAL_TERMINAL phi
FORMAL_TERMINAL reset
	TERM_EDGE LEFT
	DIRECTION OUTPUT
FORMAL_TERMINAL lo<12>
FORMAL_TERMINAL lo<11>
FORMAL_TERMINAL lo<10>
FORMAL_TERMINAL lo<9>
FORMAL_TERMINAL lo<8>
FORMAL_TERMINAL lo<7>
FORMAL_TERMINAL lo<6>
FORMAL_TERMINAL lo<5>
FORMAL_TERMINAL lo<4>
FORMAL_TERMINAL lo<3>
FORMAL_TERMINAL lo<2>
FORMAL_TERMINAL lo<1>
FORMAL_TERMINAL lo<0>
	TERM_EDGE BOTTOM
FORMAL_TERMINAL ro<12>
FORMAL_TERMINAL ro<11>
FORMAL_TERMINAL ro<10>
FORMAL_TERMINAL ro<9>
FORMAL_TERMINAL ro<8>
FORMAL_TERMINAL ro<7>
FORMAL_TERMINAL ro<6>
FORMAL_TERMINAL ro<5>
FORMAL_TERMINAL ro<4>
FORMAL_TERMINAL ro<3>
FORMAL_TERMINAL ro<2>
FORMAL_TERMINAL ro<1>
FORMAL_TERMINAL ro<0>
	TERMTYPE SUPPLY
	DIRECTION INPUT
FORMAL_TERMINAL Vdd
	TERMTYPE GROUND
FORMAL_TERMINAL GND