Abstract | ||
---|---|---|
The verification of a bit-slice ALU has been accomplished using a mechanical theorem prover. This ALUhas an n-bit design specification, which has been verified to implement its top-level specification. TheALU and top-level specifications were written in the Boyer-Moore logic. The verification was carried outwith the aid of Boyer-Moore theorem prover in a hierarchical fashion.11. IntroductionThe verification of a bit-slice ALU design has been accomplished with the aid of a mechanical... |
Year | DOI | Venue |
---|---|---|
1989 | 10.1007/0-387-97226-9_34 | Proceedings of the Mathematical Sciences Institute workshop on Hardware specification, verification and synthesis: mathematical aspects |
Keywords | Field | DocType |
bit-slice alu,theorem prover | Boolean function,Computational logic,Bit slicing,Computer science,Automated theorem proving,Arithmetic,Design specification,Distributed computing | Conference |
Volume | ISSN | ISBN |
408 | 0302-9743 | 0-387-97226-9 |
Citations | PageRank | References |
10 | 1.05 | 3 |
Authors | ||
2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Warren A. Hunt, Jr. | 1 | 520 | 59.18 |
Bishop C. Brock | 2 | 27 | 2.45 |