| primitive U_EDF_P_NO_pg (Q, D, CP , DE, NOTIFIER, VPWR, VGND); |
| output Q; |
| input D, CP, DE, NOTIFIER, VPWR, VGND; |
| reg Q; |
| |
| // FUNCTION : POSITIVE EDGE TRIGGERED ENABLED D FLIP-FLOP ( Q OUTPUT UDP ). |
| |
| |
| table |
| |
| // D CP DE NOTIFIER VPWR, VGND : Qt : Qt+1 |
| |
| ? ? 0 ? 1 0 : ? : -; // no change when disabled |
| ? ? r ? 1 0 : ? : -; // no change when disabled |
| |
| 1 r 1 ? 1 0 : ? : 1; // clocked data |
| 0 r 1 ? 1 0 : ? : 0; // clocked data |
| |
| 1 * 1 ? 1 0 : 1 : 1; // reducing pessimism |
| 0 * 1 ? 1 0 : 0 : 0; // reducing pessimism |
| |
| ? f 1 ? 1 0 : ? : -; // no change on falling edge |
| |
| ? ? 1 * 1 0 : ? : x; // any notifier changed |
| |
| ? ? ? ? * ? : ? : x; // any change on vpwr |
| ? ? ? ? ? * : ? : x; // any change on vgnd |
| endtable |
| endprimitive |