Combination and sequential logic verification#

Dissertation, Technische Universität München, 1992. Filkorn, Symbolische Methoden für die Verifikation endlicher Zustandssysteme. Ofek, “Automatic identification of equivalence points for Boolean logic verification,” IBM Technical Disclosure Bulletin, vol. Madre,“Verification of sequential machines using Boolean functional vectors,” in IMEC-IEIP International Workshop on Applied Formal Methods for Correct VLSI Design, pp. Somenzi, “Algorithms for approximate FSM traversal,” in Proceedings of the 30th ACM/IEEE Design Automation Conference, (Dallas, TX), pp.

Combination and sequential logic verification#

Singhal, “Tight integration of combinational verification methods,” in Digest of Technical Papers of the IEEE International Conference on Computer-Aided Design, (San Jose, CA), pp. Singhal, “Robust latch mapping for combinational equivalence checking,” in Digest of Technical Papers of the IEEE International Conference on Computer-Aided Design, (San Jose, CA), pp. Hwang, “Symbolic model checking: 10 20 states and beyond,” in I EEE Symposium on Logic in Computer Science, (Philadelphia), pp. Dill, “Symbolic model checking for sequential circuit verification,” IEEE Transactions on Computer-Aided Design, vol. Bryant, “Graph-based algorithms for Boolean function manipulation,” IEEE Transactions on Computers, vol. Brand, “Verification of large synthesized designs,” in Digest of Technical Papers of the IEEE International Conference on Computer-Aided Design, (Santa Clara, CA), pp. Trevillyan, “Functional comparison of logic designs for VLSI circuits” in Digest of Technical Papers of the IEEE International Conference on Computer-Aided Design, pp.

Berman, “On logic comparison,” in Proceedings of the 18th ACM/IEEE Design Automation Conference, (Anaheim, CA), pp. Kuehlmann, “Formal verification of a PowerPC microprocessor,” in Proceedings of the IEEE International Conference on Computer Design, (Austin, TX), pp. Akers, “Binary decision diagrams,” IEEE Transactions on Computers, vol.