Darmstadt University of Technology- 1 - Sequential Verification by Symbolic Simulation Darmstadt University of Technology Dept. of Electrical and Computer.
Sequential Synthesis History: Combinational Logic single FSM Hierarchy of FSM’s MISII Sequential Circuit Partitioning Facilities for managing networks.
Industrial Strength SAT-based Alignability Algorithm for Hardware Equivalence Verification Daher Kaiss, Marcelo Skaba, Ziyad Hanna, Zurab Khasidashvili.
Industrial Strength SAT-based Alignability Algorithm for Hardware Equivalence Verification