HOME       UP       PREV       NEXT (ABD - Sequential Equivalence Checker)  

ABD - Sequential Logic Equivalence: Example

Two implementations of a two-bit shift register.

They differ in amount of internal state.

They have equivalent observable behaviour (ignoring glitches).

Note, to implement larger delays, the design based on multiplexors might use less power then the design based on shifting, since fewer nets toggle on each clock edge.

(C) 2008-10, DJ Greaves, University of Cambridge, Computer Laboratory.