HOME       UP       PREV       NEXT (ABD - Sequential Logic Simplification)  

ABD - Sequential Equivalence Checker

Another common question that needs checking is sequential equivalence. Do a pair of designs follow the same state trajectory ?

Other freedoms that could be allowed within the notion of equivalence:

Practical problem: Designs may only be equivalent in the used portion of the state space.

25: (C) 2008-13, DJ Greaves, University of Cambridge, Computer Laboratory.