blob: bbeed1a4680e8ca1d92a51f8e9d925ffe95b6c92 [file] [log] [blame]
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