# # Formal Terminal description for stage1: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 output1<7> FORMAL_TERMINAL output1<6> FORMAL_TERMINAL output1<5> FORMAL_TERMINAL output1<4> FORMAL_TERMINAL output1<3> FORMAL_TERMINAL output1<2> FORMAL_TERMINAL output1<1> FORMAL_TERMINAL output1<0> FORMAL_TERMINAL a1<7> FORMAL_TERMINAL a1<6> FORMAL_TERMINAL a1<5> FORMAL_TERMINAL a1<4> FORMAL_TERMINAL a1<3> FORMAL_TERMINAL a1<2> FORMAL_TERMINAL a1<1> FORMAL_TERMINAL a1<0> FORMAL_TERMINAL a2<7> FORMAL_TERMINAL a2<6> FORMAL_TERMINAL a2<5> FORMAL_TERMINAL a2<4> FORMAL_TERMINAL a2<3> FORMAL_TERMINAL a2<2> FORMAL_TERMINAL a2<1> FORMAL_TERMINAL a2<0> FORMAL_TERMINAL a3<7> FORMAL_TERMINAL a3<6> FORMAL_TERMINAL a3<5> FORMAL_TERMINAL a3<4> FORMAL_TERMINAL a3<3> FORMAL_TERMINAL a3<2> FORMAL_TERMINAL a3<1> FORMAL_TERMINAL a3<0> FORMAL_TERMINAL a4<7> FORMAL_TERMINAL a4<6> FORMAL_TERMINAL a4<5> FORMAL_TERMINAL a4<4> FORMAL_TERMINAL a4<3> FORMAL_TERMINAL a4<2> FORMAL_TERMINAL a4<1> FORMAL_TERMINAL a4<0> FORMAL_TERMINAL a5<7> FORMAL_TERMINAL a5<6> FORMAL_TERMINAL a5<5> FORMAL_TERMINAL a5<4> FORMAL_TERMINAL a5<3> FORMAL_TERMINAL a5<2> FORMAL_TERMINAL a5<1> FORMAL_TERMINAL a5<0> FORMAL_TERMINAL a6<7> FORMAL_TERMINAL a6<6> FORMAL_TERMINAL a6<5> FORMAL_TERMINAL a6<4> FORMAL_TERMINAL a6<3> FORMAL_TERMINAL a6<2> FORMAL_TERMINAL a6<1> FORMAL_TERMINAL a6<0> FORMAL_TERMINAL a7<7> FORMAL_TERMINAL a7<6> FORMAL_TERMINAL a7<5> FORMAL_TERMINAL a7<4> FORMAL_TERMINAL a7<3> FORMAL_TERMINAL a7<2> FORMAL_TERMINAL a7<1> FORMAL_TERMINAL a7<0> FORMAL_TERMINAL a8<7> FORMAL_TERMINAL a8<6> FORMAL_TERMINAL a8<5> FORMAL_TERMINAL a8<4> FORMAL_TERMINAL a8<3> FORMAL_TERMINAL a8<2> FORMAL_TERMINAL a8<1> FORMAL_TERMINAL a8<0> FORMAL_TERMINAL a9<7> FORMAL_TERMINAL a9<6> FORMAL_TERMINAL a9<5> FORMAL_TERMINAL a9<4> FORMAL_TERMINAL a9<3> FORMAL_TERMINAL a9<2> FORMAL_TERMINAL a9<1> FORMAL_TERMINAL a9<0> FORMAL_TERMINAL a10<7> FORMAL_TERMINAL a10<6> FORMAL_TERMINAL a10<5> FORMAL_TERMINAL a10<4> FORMAL_TERMINAL a10<3> FORMAL_TERMINAL a10<2> FORMAL_TERMINAL a10<1> FORMAL_TERMINAL a10<0> FORMAL_TERMINAL a11<7> FORMAL_TERMINAL a11<6> FORMAL_TERMINAL a11<5> FORMAL_TERMINAL a11<4> FORMAL_TERMINAL a11<3> FORMAL_TERMINAL a11<2> FORMAL_TERMINAL a11<1> FORMAL_TERMINAL a11<0> FORMAL_TERMINAL a12<7> FORMAL_TERMINAL a12<6> FORMAL_TERMINAL a12<5> FORMAL_TERMINAL a12<4> FORMAL_TERMINAL a12<3> FORMAL_TERMINAL a12<2> FORMAL_TERMINAL a12<1> FORMAL_TERMINAL a12<0> FORMAL_TERMINAL a13<7> FORMAL_TERMINAL a13<6> FORMAL_TERMINAL a13<5> FORMAL_TERMINAL a13<4> FORMAL_TERMINAL a13<3> FORMAL_TERMINAL a13<2> FORMAL_TERMINAL a13<1> FORMAL_TERMINAL a13<0> FORMAL_TERMINAL a14<7> FORMAL_TERMINAL a14<6> FORMAL_TERMINAL a14<5> FORMAL_TERMINAL a14<4> FORMAL_TERMINAL a14<3> FORMAL_TERMINAL a14<2> FORMAL_TERMINAL a14<1> FORMAL_TERMINAL a14<0> FORMAL_TERMINAL a15<7> FORMAL_TERMINAL a15<6> FORMAL_TERMINAL a15<5> FORMAL_TERMINAL a15<4> FORMAL_TERMINAL a15<3> FORMAL_TERMINAL a15<2> FORMAL_TERMINAL a15<1> FORMAL_TERMINAL a15<0> TERMTYPE SUPPLY DIRECTION INPUT FORMAL_TERMINAL Vdd TERMTYPE GROUND FORMAL_TERMINAL GND TERMTYPE CLOCK FORMAL_TERMINAL clk1 FORMAL_TERMINAL clk2