# # Formal Terminal description for x16: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 l3<7> FORMAL_TERMINAL l3<6> FORMAL_TERMINAL l3<5> FORMAL_TERMINAL l3<4> FORMAL_TERMINAL l3<3> FORMAL_TERMINAL l3<2> FORMAL_TERMINAL l3<1> FORMAL_TERMINAL l3<0> FORMAL_TERMINAL l4<7> FORMAL_TERMINAL l4<6> FORMAL_TERMINAL l4<5> FORMAL_TERMINAL l4<4> FORMAL_TERMINAL l4<3> FORMAL_TERMINAL l4<2> FORMAL_TERMINAL l4<1> FORMAL_TERMINAL l4<0> FORMAL_TERMINAL l5<7> FORMAL_TERMINAL l5<6> FORMAL_TERMINAL l5<5> FORMAL_TERMINAL l5<4> FORMAL_TERMINAL l5<3> FORMAL_TERMINAL l5<2> FORMAL_TERMINAL l5<1> FORMAL_TERMINAL l5<0> FORMAL_TERMINAL l6<7> FORMAL_TERMINAL l6<6> FORMAL_TERMINAL l6<5> FORMAL_TERMINAL l6<4> FORMAL_TERMINAL l6<3> FORMAL_TERMINAL l6<2> FORMAL_TERMINAL l6<1> FORMAL_TERMINAL l6<0> FORMAL_TERMINAL l7<7> FORMAL_TERMINAL l7<6> FORMAL_TERMINAL l7<5> FORMAL_TERMINAL l7<4> FORMAL_TERMINAL l7<3> FORMAL_TERMINAL l7<2> FORMAL_TERMINAL l7<1> FORMAL_TERMINAL l7<0> FORMAL_TERMINAL l8<7> FORMAL_TERMINAL l8<6> FORMAL_TERMINAL l8<5> FORMAL_TERMINAL l8<4> FORMAL_TERMINAL l8<3> FORMAL_TERMINAL l8<2> FORMAL_TERMINAL l8<1> FORMAL_TERMINAL l8<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 r3<7> FORMAL_TERMINAL r3<6> FORMAL_TERMINAL r3<5> FORMAL_TERMINAL r3<4> FORMAL_TERMINAL r3<3> FORMAL_TERMINAL r3<2> FORMAL_TERMINAL r3<1> FORMAL_TERMINAL r3<0> FORMAL_TERMINAL r4<7> FORMAL_TERMINAL r4<6> FORMAL_TERMINAL r4<5> FORMAL_TERMINAL r4<4> FORMAL_TERMINAL r4<3> FORMAL_TERMINAL r4<2> FORMAL_TERMINAL r4<1> FORMAL_TERMINAL r4<0> FORMAL_TERMINAL r5<7> FORMAL_TERMINAL r5<6> FORMAL_TERMINAL r5<5> FORMAL_TERMINAL r5<4> FORMAL_TERMINAL r5<3> FORMAL_TERMINAL r5<2> FORMAL_TERMINAL r5<1> FORMAL_TERMINAL r5<0> FORMAL_TERMINAL r6<7> FORMAL_TERMINAL r6<6> FORMAL_TERMINAL r6<5> FORMAL_TERMINAL r6<4> FORMAL_TERMINAL r6<3> FORMAL_TERMINAL r6<2> FORMAL_TERMINAL r6<1> FORMAL_TERMINAL r6<0> FORMAL_TERMINAL r7<7> FORMAL_TERMINAL r7<6> FORMAL_TERMINAL r7<5> FORMAL_TERMINAL r7<4> FORMAL_TERMINAL r7<3> FORMAL_TERMINAL r7<2> FORMAL_TERMINAL r7<1> FORMAL_TERMINAL r7<0> FORMAL_TERMINAL r8<7> FORMAL_TERMINAL r8<6> FORMAL_TERMINAL r8<5> FORMAL_TERMINAL r8<4> FORMAL_TERMINAL r8<3> FORMAL_TERMINAL r8<2> FORMAL_TERMINAL r8<1> FORMAL_TERMINAL r8<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 win3<7> FORMAL_TERMINAL win3<6> FORMAL_TERMINAL win3<5> FORMAL_TERMINAL win3<4> FORMAL_TERMINAL win3<3> FORMAL_TERMINAL win3<2> FORMAL_TERMINAL win3<1> FORMAL_TERMINAL win3<0> FORMAL_TERMINAL win4<7> FORMAL_TERMINAL win4<6> FORMAL_TERMINAL win4<5> FORMAL_TERMINAL win4<4> FORMAL_TERMINAL win4<3> FORMAL_TERMINAL win4<2> FORMAL_TERMINAL win4<1> FORMAL_TERMINAL win4<0> FORMAL_TERMINAL win5<7> FORMAL_TERMINAL win5<6> FORMAL_TERMINAL win5<5> FORMAL_TERMINAL win5<4> FORMAL_TERMINAL win5<3> FORMAL_TERMINAL win5<2> FORMAL_TERMINAL win5<1> FORMAL_TERMINAL win5<0> FORMAL_TERMINAL win6<7> FORMAL_TERMINAL win6<6> FORMAL_TERMINAL win6<5> FORMAL_TERMINAL win6<4> FORMAL_TERMINAL win6<3> FORMAL_TERMINAL win6<2> FORMAL_TERMINAL win6<1> FORMAL_TERMINAL win6<0> FORMAL_TERMINAL win7<7> FORMAL_TERMINAL win7<6> FORMAL_TERMINAL win7<5> FORMAL_TERMINAL win7<4> FORMAL_TERMINAL win7<3> FORMAL_TERMINAL win7<2> FORMAL_TERMINAL win7<1> FORMAL_TERMINAL win7<0> FORMAL_TERMINAL win8<7> FORMAL_TERMINAL win8<6> FORMAL_TERMINAL win8<5> FORMAL_TERMINAL win8<4> FORMAL_TERMINAL win8<3> FORMAL_TERMINAL win8<2> FORMAL_TERMINAL win8<1> FORMAL_TERMINAL win8<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> FORMAL_TERMINAL los3<7> FORMAL_TERMINAL los3<6> FORMAL_TERMINAL los3<5> FORMAL_TERMINAL los3<4> FORMAL_TERMINAL los3<3> FORMAL_TERMINAL los3<2> FORMAL_TERMINAL los3<1> FORMAL_TERMINAL los3<0> FORMAL_TERMINAL los4<7> FORMAL_TERMINAL los4<6> FORMAL_TERMINAL los4<5> FORMAL_TERMINAL los4<4> FORMAL_TERMINAL los4<3> FORMAL_TERMINAL los4<2> FORMAL_TERMINAL los4<1> FORMAL_TERMINAL los4<0> FORMAL_TERMINAL los5<7> FORMAL_TERMINAL los5<6> FORMAL_TERMINAL los5<5> FORMAL_TERMINAL los5<4> FORMAL_TERMINAL los5<3> FORMAL_TERMINAL los5<2> FORMAL_TERMINAL los5<1> FORMAL_TERMINAL los5<0> FORMAL_TERMINAL los6<7> FORMAL_TERMINAL los6<6> FORMAL_TERMINAL los6<5> FORMAL_TERMINAL los6<4> FORMAL_TERMINAL los6<3> FORMAL_TERMINAL los6<2> FORMAL_TERMINAL los6<1> FORMAL_TERMINAL los6<0> FORMAL_TERMINAL los7<7> FORMAL_TERMINAL los7<6> FORMAL_TERMINAL los7<5> FORMAL_TERMINAL los7<4> FORMAL_TERMINAL los7<3> FORMAL_TERMINAL los7<2> FORMAL_TERMINAL los7<1> FORMAL_TERMINAL los7<0> FORMAL_TERMINAL los8<7> FORMAL_TERMINAL los8<6> FORMAL_TERMINAL los8<5> FORMAL_TERMINAL los8<4> FORMAL_TERMINAL los8<3> FORMAL_TERMINAL los8<2> FORMAL_TERMINAL los8<1> FORMAL_TERMINAL los8<0> TERMTYPE SUPPLY DIRECTION INPUT FORMAL_TERMINAL Vdd TERMTYPE GROUND FORMAL_TERMINAL GND TERMTYPE CLOCK FORMAL_TERMINAL clk1 FORMAL_TERMINAL clk2