Self-consistency checking

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1166, Issue , 1996, Pages 159-171

  Jones, Robert B ^a,b   Seger, Carl Johan H ^a   Dill, David L ^b  

^a INTEL CORPORATION   (United States)

^b STANFORD UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER AIDED DESIGN; FLIP FLOP CIRCUITS; FORMAL VERIFICATION; RECONFIGURABLE HARDWARE;

DEBUGGING PROCESS; FORMAL FRAMEWORK; PARTIAL VERIFICATION; PROPERTY VERIFICATION; SELF-CONSISTENCY; SYMBOLIC SIMULATION;

FORMAL METHODS;

EID: 84863923275     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/BFb0031806     Document Type: Conference Paper

References (11)

1. V. Bhagwati and S. Devadas. Automatic verification of pipelined microprocessors. In 31st ACM/IEEE Design Automation Conference, 1994.
2. J. R. Butch and D. L. Dill. Automatic verification of microprocessor control. In Computer Aided Verification. 6th International Conference, 1994.
3. J. R. Butch. Techniques for verifying superscalar microprocessors. In 33rd ACM/IEEE Design Automation Conference, 1996.
4. D. Cyrluk. Microprocessor verification in PVS: A methodology and simple example. Technical Report SRI-CSL-93-t2, SRI Computer Science Laboratory, December 1993.
5. A. Gupta. Formal hardware verification methods: A survey. Formal Methods in System Design, 1:5-92, 1992.
6. J. L. Hennessy and D. A. Patterson. Computer Architecture: A Quantitative Approach. Morgan Kaufmann, 1990.
7. W. A. Hunt, Jr. FM8501: A verified microprocessor. Technical Report 47, University of Texas at Austin, Institute for Computing Science, December 1985.
8. C. H. Seger. Voss: A formal hardware verification system user's guide. Technical Report 93-45, Department of Computer Science, Univerisity of British Columbia, 1993.
9. J. B. Saxe, S. J. Garland, J. V. Guttag, and J. J. Horning. Using transformations and verification in circuit design. Technical Report 78, DEC Systems Research Center, September 1991..
10. R. Wilson. Verification feels strain. Electronic Engineering Times, (840):18-22, March 1995.
11. P. J. Windley. Formal modeling and verification of microprocessors. IEEE Transactions on Computers, 44(1):54-72, January 1995.