| 2008 |
|---|
| 9 | EE | Bishop Brock,
Matt Kaufmann,
J. Strother Moore:
Rewriting with Equivalence Relations in ACL2.
J. Autom. Reasoning 40(4): 293-306 (2008) |
| 2003 |
|---|
| 8 | EE | Kevin J. Nowka,
Gary D. Carpenter,
Bishop Brock:
The design and application of the PowerPC 405LP energy-efficient system-on-a-chip.
IBM Journal of Research and Development 47(5-6): 631-640 (2003) |
| 2001 |
|---|
| 7 | EE | Bishop Brock,
Gary D. Carpenter,
Eli Chiprout,
Mark E. Dean,
Philippe L. De Backer,
E. N. Elnozahy,
Hubertus Franke,
Mark Giampapa,
David Glasco,
James L. Peterson,
Ramakrishnan Rajamony,
Rajan Ravindran,
Freeman L. Rawson III,
Ronald L. Rockhold,
Juan Rubio:
Experience with building a commodity Intel-based ccNUMA system.
IBM Journal of Research and Development 45(2): 207-228 (2001) |
| 1997 |
|---|
| 6 | | Bishop Brock,
Warren A. Hunt Jr.:
Formally Specifying and Mechanically Verifying Programs for the Motorola Complex Arithmetic Processor DSP.
ICCD 1997: 31-36 |
| 5 | | Bishop Brock,
Warren A. Hunt Jr.:
The DUAL-EVAL Hardware Description Language and Its Use in the Formal Specification and Verification of the FM9001 Microprocessor.
Formal Methods in System Design 11(1): 71-104 (1997) |
| 1996 |
|---|
| 4 | | Bishop Brock,
Matt Kaufmann,
J. Strother Moore:
ACL2 Theorems About Commercial Microprocessors.
FMCAD 1996: 275-293 |
| 1992 |
|---|
| 3 | | Bishop Brock,
Warren A. Hunt Jr.,
William D. Young:
Introduction to a Formally Defined Hardware Description Language.
TPCD 1992: 3-35 |
| 1989 |
|---|
| 2 | | Warren A. Hunt Jr.,
Bishop Brock:
The Verification of a Bit-slice ALU.
Hardware Specification, Verification and Synthesis 1989: 282-306 |
| 1988 |
|---|
| 1 | | Bishop Brock,
Shaun Cooper,
William Pierce:
Analogical Reasoning and Proof Discovery.
CADE 1988: 454-468 |
