Analogical Reasoning and Proof Discovery. - Bishop Brock; Shaun Cooper; William Pierce (CADE, 1988)

The Verification of a Bit-slice ALU. - Warren A. Hunt Jr.; Bishop Brock (Hardware Specification, Verification and Synthesis, 1989)

Introduction to a Formally Defined Hardware Description Language. - Bishop Brock; Warren A. Hunt Jr.; William D. Young (TPCD, 1992)

ACL2 Theorems About Commercial Microprocessors. - Bishop Brock; Matt Kaufmann; J Strother Moore (FMCAD, 1996)

Formally Specifying and Mechanically Verifying Programs for the Motorola Complex Arithmetic Processor DSP. - Bishop Brock; Warren A. Hunt Jr. (ICCD, 1997)

The DUAL-EVAL Hardware Description Language and Its Use in the Formal Specification and Verification of the FM9001 Microprocessor. - Bishop Brock; Warren A. Hunt Jr. (Formal Methods Syst. Des., 1997)

Experience with building a commodity Intel-based ccNUMA system. - 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; et al. (IBM J. Res. Dev., 2001)

A 32-bit PowerPC system-on-a-chip with support for dynamic voltage scaling and dynamic frequency scaling. - Kevin J. Nowka; Gary D. Carpenter; Eric W. MacDonald; Hung C. Ngo; Bishop Brock; Koji I. Ishii; Tuyet Nguyen; Jeffrey L. Burns (IEEE J. Solid State Circuits, 2002)

The design and application of the PowerPC 405LP energy-efficient system-on-a-chip. - Kevin J. Nowka; Gary D. Carpenter; Bishop Brock (IBM J. Res. Dev., 2003)

Rewriting with Equivalence Relations in ACL2. - Bishop Brock; Matt Kaufmann; J Strother Moore (J. Autom. Reason., 2008)

Adaptive energy management features of the POWER7TM processor. - Michael S. Floyd; Bishop Brock; Malcolm S. Ware; Karthick Rajamani; Alan J. Drake; Charles Lefurgy; Lorena Pesantez (Hot Chips Symposium, 2010)

Architecting for power management: The IBM POWER7TM approach. - Malcolm S. Ware; Karthick Rajamani; Michael S. Floyd; Bishop Brock; Juan C. Rubio; Freeman L. Rawson III; John B. Carter (HPCA, 2010)

Active management of timing guardband to save energy in POWER7. - Charles Lefurgy; Alan J. Drake; Michael S. Floyd; Malcolm Allen-Ware; Bishop Brock; José A. Tierno; John B. Carter (MICRO, 2011)

Adaptive energy-management features of the IBM POWER7 chip. - Michael S. Floyd; Malcolm Allen-Ware; Karthick Rajamani; Tilman Gloekler; Bishop Brock; Pradip Bose; Alper Buyuktosunoglu; Juan C. Rubio; Birgit Schubert; Bruno Spruth; José A. Tierno; Lorena Pesantez (IBM J. Res. Dev., 2011)

Introducing the Adaptive Energy Management Features of the Power7 Chip. - Michael S. Floyd; Malcolm Allen-Ware; Karthick Rajamani; Bishop Brock; Charles Lefurgy; Alan J. Drake; Lorena Pesantez; Tilman Gloekler; José A. Tierno; Pradip Bose; Alper Buyuktosunoglu (IEEE Micro, 2011)

Accurate Fine-Grained Processor Power Proxies. - Wei Huang 004; Charles Lefurgy; William Kuk; Alper Buyuktosunoglu; Michael S. Floyd; Karthick Rajamani; Malcolm Allen-Ware; Bishop Brock (MICRO, 2012)

Virtual Power Management simulation framework for computer systems. - Bishop Brock; Srinivasan Ramani; Ken Vu; Heather Hanson; Michael S. Floyd (ISPASS, 2013)

Active Guardband Management in Power7+ to Save Energy and Maintain Reliability. - Charles Lefurgy; Alan J. Drake; Michael S. Floyd; Malcolm Allen-Ware; Bishop Brock; José A. Tierno; John B. Carter; Robert W. Berry (IEEE Micro, 2013)

STAC-A2™ benchmark on POWER8. - Bishop Brock; Frank Liu 001; Karthick Rajamani (WHPCF@SC, 2015)

Solutions to IBM POWER8 verification challenges. - Klaus-Dieter Schubert; John M. Ludden; Salma Ayub; J. Behrend; Bishop Brock; Fady Copty; S. M. German; Oz Hershkovitz; H. Horbach; Jonathan R. Jackson; K. Keuerleber; J. Koesters; et al. (IBM J. Res. Dev., 2015)