Author:
Sawada Jun,Hunt Warren A.
Publisher
Springer Berlin Heidelberg
Reference14 articles.
1. M. Agaard, M. Leeser, Reasoning About Pipelines with Structural Hazards, Pipelined Microprocessors, Theorem Provers in Circuit Design: theory, practice, and experience, Lecture Notes in Computer Science 901, Springer Verlag, 1995, page 13–32.
2. R. S. Boyer and J S. Moore. A Computational Logic Handbook. Academic Press, Boston, 1988.
3. J. R. Burch, D. L. Dill: Automatic Verification of Pipelined Microprocessor Control, In D. Dill Editor, Computer Aided Verification, Lecture Notes in Computer Science 818, Springer Verlag, 1994, page 68–80.
4. J. R. Burch. Techniques for verifying superscalar microprocessors. In Design Automation Conference, June 1996.
5. D. Cyrluk. Microprocessor verification in PVS: A methodology and simple example, Technical Report SRI-CSL-93-12, SRI Computer Science Laboratory, Dec. 1993
Cited by
18 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Specification and Verification of Concurrent Programs Through Refinements;Journal of Automated Reasoning;2012-08-30
2. Pipelined Machines;Scalable Techniques for Formal Verification;2010
3. A Synchronization Method for Register Traces of Pipelined Processors;IFIP Advances in Information and Communication Technology;2009
4. Putting it all together – Formal verification of the VAMP;International Journal on Software Tools for Technology Transfer;2006-05-02
5. Refinement and Theorem Proving;Formal Methods for Hardware Verification;2006