State machine abstraction from circuit layouts using BDD's: applications in verification and synthesis

Graph-Based Algorithms for Boolean Function Manipulation

IEEE Transactions on Computers

Sequential circuit verification using symbolic model checking

DAC '90 Proceedings of the 27th ACM/IEEE Design Automation Conference

Formal hardware verification by symbolic ternary trajectory evaluation

DAC '91 Proceedings of the 28th ACM/IEEE Design Automation Conference

Switching and Finite Automata Theory: Computer Science Series

Switching and Finite Automata Theory: Computer Science Series

Automatic Derivation of FSM Specification to Implementation Encoding

ICCD '91 Proceedings of the 1991 IEEE International Conference on Computer Design on VLSI in Computer & Processors

Comparing Layouts with HDL Models: A Formal Verification Technique

ICCD '92 Proceedings of the 1991 IEEE International Conference on Computer Design on VLSI in Computer & Processors

Sequential Circuit Design Using Synthesis and Optimization

ICCD '92 Proceedings of the 1991 IEEE International Conference on Computer Design on VLSI in Computer & Processors