Publisher
Springer Berlin Heidelberg
Reference33 articles.
1. L. Arditi. Formal verification of microprocessors: a first experiment with the Coq proof assistant. Technical Report RR-96-31, Université de Nice-Sophia Antipolis. Laboratoire I3S, May 1996.
2. L. Arditi and H. Collavizza. An object-oriented framework for the formal verification of processors. In European Conference on Object-Oriented Programming, volume 952 of LNCS, 1995.
3. L. Arditi and H. Collavizza. Towards verifying VHDL descriptions of processors. In European Design Automation Conference with EURO-VHDL, 1995.
4. P. J. Ashenden. The VHDL Cookbook. Public Domain, Dept. Computer Science, University of Adelaide, South Australia, first edition, July 1990.
5. D. L. Beatty and R. E. Bryant. Formally verifying a microprocessor using a simulation methodology. In31st ACM/IEEE Design Automation Conference, 1994.
Cited by
7 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Equivalence Checking for Intelligent Circuits;2008 International Symposium on Intelligent Information Technology Application Workshops;2008-12
2. Minimization of Word-Level Decision Diagrams;Integration;2002-12
3. Manipulation algorithms for K*BMDs;Tools and Algorithms for the Construction and Analysis of Systems;1997
4. Automatic datapath extraction for efficient usage of HDD;Computer Aided Verification;1997
5. Implementation of a Multiple-Domain Decision Diagram Package;Advances in Hardware Design and Verification;1997