#
# Formal Terminal description for ctrl: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 presState<3>
FORMAL_TERMINAL presState<2>
FORMAL_TERMINAL presState<4>
FORMAL_TERMINAL presState<1>
FORMAL_TERMINAL presState<0>
	DIRECTION OUTPUT
FORMAL_TERMINAL oe<0>
FORMAL_TERMINAL wwe<0>
FORMAL_TERMINAL cs<0>
FORMAL_TERMINAL ldWout<0>
FORMAL_TERMINAL ldWin<0>
FORMAL_TERMINAL ldX<0>
FORMAL_TERMINAL ldE<0>
FORMAL_TERMINAL ldD<0>
FORMAL_TERMINAL ldY<0>
FORMAL_TERMINAL countQ<0>
FORMAL_TERMINAL countR<0>
FORMAL_TERMINAL ldUin<0>
FORMAL_TERMINAL ldUex<0>
FORMAL_TERMINAL ldAddr<0>
FORMAL_TERMINAL clrXaddr<0>
FORMAL_TERMINAL clrWaddr<0>
FORMAL_TERMINAL incrXaddr<0>
FORMAL_TERMINAL incrWaddr<0>
FORMAL_TERMINAL clrR<0>
	DIRECTION INPUT
FORMAL_TERMINAL lfsr<4>
FORMAL_TERMINAL lfsr<6>
FORMAL_TERMINAL lfsr<5>
FORMAL_TERMINAL lfsr<1>
FORMAL_TERMINAL lfsr<3>
FORMAL_TERMINAL lfsr<2>
FORMAL_TERMINAL reset<0>
FORMAL_TERMINAL phi<0>
	DIRECTION OUTPUT
FORMAL_TERMINAL ckpoint<0>
	DIRECTION INPUT
FORMAL_TERMINAL lfsr<0>
	DIRECTION OUTPUT
FORMAL_TERMINAL nextState<4>
FORMAL_TERMINAL nextState<3>
FORMAL_TERMINAL nextState<2>
FORMAL_TERMINAL nextState<1>
FORMAL_TERMINAL nextState<0>