I am trying to characterize the DFSR (Set reset flip flop) using the Encounter User's Guide (Pages 192-193) version 12.0
I have used the two bool file lines for cell recognition:
([N7], [N1], [N4], [N6]) = DFSR(D,CP,!SD,!CD),
(Q, QN) = ([N1], [N7]);
The test vectors ELC generates based on the above two lines do not match with the truth table for the flip flop in the user guide. As a result, the verificate stage fails in a lot of test vectors.
For example :
CD CP D SD : Q QN : N7 N4 N6 N1
D0012: 1 R 0 1 : R F : F 0 1 R : DELAY(CP)
In this vector, as CP (clock) rises, data is 0, but the test vector expects output Q to rise as well.