#
# Formal Terminal description for tap: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
	TERM_EDGE LEFT
FORMAL_TERMINAL clock
FORMAL_TERMINAL reset
	TERM_EDGE TOP
FORMAL_TERMINAL xin<15>
FORMAL_TERMINAL xin<14>
FORMAL_TERMINAL xin<13>
FORMAL_TERMINAL xin<12>
FORMAL_TERMINAL xin<11>
FORMAL_TERMINAL xin<10>
FORMAL_TERMINAL xin<9>
FORMAL_TERMINAL xin<8>
FORMAL_TERMINAL xin<7>
FORMAL_TERMINAL xin<6>
FORMAL_TERMINAL xin<5>
FORMAL_TERMINAL xin<4>
FORMAL_TERMINAL xin<3>
FORMAL_TERMINAL xin<2>
FORMAL_TERMINAL xin<1>
FORMAL_TERMINAL xin<0>
FORMAL_TERMINAL sin<15>
FORMAL_TERMINAL sin<14>
FORMAL_TERMINAL sin<13>
FORMAL_TERMINAL sin<12>
FORMAL_TERMINAL sin<11>
FORMAL_TERMINAL sin<10>
FORMAL_TERMINAL sin<9>
FORMAL_TERMINAL sin<8>
FORMAL_TERMINAL sin<7>
FORMAL_TERMINAL sin<6>
FORMAL_TERMINAL sin<5>
FORMAL_TERMINAL sin<4>
FORMAL_TERMINAL sin<3>
FORMAL_TERMINAL sin<2>
FORMAL_TERMINAL sin<1>
FORMAL_TERMINAL sin<0>
FORMAL_TERMINAL cin<15>
FORMAL_TERMINAL cin<14>
FORMAL_TERMINAL cin<13>
FORMAL_TERMINAL cin<12>
FORMAL_TERMINAL cin<11>
FORMAL_TERMINAL cin<10>
FORMAL_TERMINAL cin<9>
FORMAL_TERMINAL cin<8>
FORMAL_TERMINAL cin<7>
FORMAL_TERMINAL cin<6>
FORMAL_TERMINAL cin<5>
FORMAL_TERMINAL cin<4>
FORMAL_TERMINAL cin<3>
FORMAL_TERMINAL cin<2>
FORMAL_TERMINAL cin<1>
FORMAL_TERMINAL cin<0>
	DIRECTION OUTPUT
	TERM_EDGE BOTTOM
FORMAL_TERMINAL xout<15>
FORMAL_TERMINAL xout<14>
FORMAL_TERMINAL xout<13>
FORMAL_TERMINAL xout<12>
FORMAL_TERMINAL xout<11>
FORMAL_TERMINAL xout<10>
FORMAL_TERMINAL xout<9>
FORMAL_TERMINAL xout<8>
FORMAL_TERMINAL xout<7>
FORMAL_TERMINAL xout<6>
FORMAL_TERMINAL xout<5>
FORMAL_TERMINAL xout<4>
FORMAL_TERMINAL xout<3>
FORMAL_TERMINAL xout<2>
FORMAL_TERMINAL xout<1>
FORMAL_TERMINAL xout<0>
FORMAL_TERMINAL sout<15>
FORMAL_TERMINAL sout<14>
FORMAL_TERMINAL sout<13>
FORMAL_TERMINAL sout<12>
FORMAL_TERMINAL sout<11>
FORMAL_TERMINAL sout<10>
FORMAL_TERMINAL sout<9>
FORMAL_TERMINAL sout<8>
FORMAL_TERMINAL sout<7>
FORMAL_TERMINAL sout<6>
FORMAL_TERMINAL sout<5>
FORMAL_TERMINAL sout<4>
FORMAL_TERMINAL sout<3>
FORMAL_TERMINAL sout<2>
FORMAL_TERMINAL sout<1>
FORMAL_TERMINAL sout<0>
FORMAL_TERMINAL cout<15>
FORMAL_TERMINAL cout<14>
FORMAL_TERMINAL cout<13>
FORMAL_TERMINAL cout<12>
FORMAL_TERMINAL cout<11>
FORMAL_TERMINAL cout<10>
FORMAL_TERMINAL cout<9>
FORMAL_TERMINAL cout<8>
FORMAL_TERMINAL cout<7>
FORMAL_TERMINAL cout<6>
FORMAL_TERMINAL cout<5>
FORMAL_TERMINAL cout<4>
FORMAL_TERMINAL cout<3>
FORMAL_TERMINAL cout<2>
FORMAL_TERMINAL cout<1>
FORMAL_TERMINAL cout<0>
	DIRECTION INPUT
	TERM_EDGE RIGHT
FORMAL_TERMINAL crin
	DIRECTION OUTPUT
	TERM_EDGE LEFT
FORMAL_TERMINAL crout