A New Method for Verifying Sequential Circuits

Publisher Website

1 January 1986

conference paper
Published by Institute of Electrical and Electronics Engineers (IEEE)

https://doi.org/10.1109/dac.1986.1586089

Abstract

No abstract available

Keywords

This publication has 8 references indexed in Scilit:

Symbolic manipulation of Boolean functions using a graphical representation
Published by Association for Computing Machinery (ACM) ,1985
Verify: A program for proving correctness of digital hardware designs
Artificial Intelligence, 1984
An Inductive Assertion Method for Register Transfer Level Design Verification
IEEE Transactions on Computers, 1983
Formal Design Verification of Digital Systems
Published by Institute of Electrical and Electronics Engineers (IEEE) ,1983
Boolean Comparison of Hardware and Flowcharts
IBM Journal of Research and Development, 1982
The Application of Program Verification to Hardware Verification
Published by Institute of Electrical and Electronics Engineers (IEEE) ,1979
Binary Decision Diagrams
IEEE Transactions on Computers, 1978
AN n log n ALGORITHM FOR MINIMIZING STATES IN A FINITE AUTOMATON
Published by Elsevier ,1971