For instance for dffpc :
Code: Select all
always @(posedge CLK or posedge CLK or posedge PRE)
if (CLR)
Q <= 1'b0;
else if (PRE)
Q <= 1'b1;
else
Q <= D;
Also, the dffepc is doing a preset when CLR is high and missing the check on PRE alltogether.