Abstract | ||
---|---|---|
Abstract Abstract. The verification of a microprocessor,design has been accomplished using a mechanical theorem prover. This microprocessor, the FM8502, is a 32-bit generalpurpose, von Neumann processor whose design-level (gate-level) specification has been verified with respect to,its instruction-level specification. Both,specifications were written in the Boyer-Moore logic, and the proof of correctness was carried out with the Boyer-Moore theorem prover. 2 Chapter 1 |
Year | DOI | Venue |
---|---|---|
1989 | 10.1007/BF00243132 | J. Autom. Reasoning |
Keywords | DocType | Volume |
Hardware verification,mechanical theorem proving,microprocessor verification | Journal | 5 |
Issue | ISSN | Citations |
4 | 0168-7433 | 61 |
PageRank | References | Authors |
9.79 | 3 | 2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Warren A. Hunt, Jr. | 1 | 520 | 59.18 |
hunt | 2 | 61 | 9.79 |