Verification at the Logic Level
Verification at the Logic Level
PI
PO
CL1
L1
PI
PO
CL2
L2
m If L1 º L2 (both no. of latches and codes), problem reduces to combinational logic verification case (is CL1 º CL2 ?).
m In general, L1 ¹ L2 : different number of latches, different codes for states, which makes the problem a lot more difficult!