Touted as the industry's only sequential-logic equivalence ... checks functional equivalence between two versions of an RTL design that have differences in architecture and timing.

(This course also fulfills the systems breadth requirement for the Computer Science major.) COURSE GOALS: Cover the digital design knowledges on combinational logic circuit, sequential logic circuits, ...