Searching for authors named Bishop Brock – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

9 documents found, showing 1 through 9.

The Verification of a Bit-Slice ALU
by Warren A. Hunt, Bishop C. Brock — 1989 — Workshop on Hardware Speci Veri and Synthesis: Mathematical Aspects, Springer LNCS 408
…The Verification of a Bit-slice ALU Warren A. Hunt, Jr. Bishop C. Brock Technical Report 49…
Cited by 6 (2 self) – Add To MetaCart

The formalization of a simple hardware description language
by Bishop C. Brock, Warren A. Hunt — 1989 — Applied Formal Methods For Correct VLSI Design
…The Formalization of a Simple Hardware Description Language Bishop C. Brock Warren A. Hunt, Jr…
Cited by 4 (0 self) – Add To MetaCart

An Overview of the Formal Specification and Verification of the FM9001 Microprocessor
by Bishop C. Brock, Warren A. Hunt, Jr. — 1994
… by Bishop Brock and Warren Hunt. Matt Kaufmann proved the ALU interpretation lemmas and assisted…
Cited by 3 (0 self) – Add To MetaCart

A Mechanically Checked Proof of a Comparator Sort Algorithm
by Bishop Brock, J Strother Moore — 1999 — In Engineering Theories of Software Intensive Systems. IOS
…A Mechanically Checked Proof of a Comparator Sort Algorithm Bishop Brock J Strother Moore y…
Cited by 7 (6 self) – Add To MetaCart

Report on the Formal Specification and Partial Verification of the VIPER Microprocessor
by Bishop Brock, Warren A. Hunt — 1991
…Report on the Formal Specification and Partial Verification of the VIPER Microprocessor Bishop…
Cited by 12 (0 self) – Add To MetaCart

ACL2 Theorems about Commercial Microprocessors
by Bishop Brock, Matt Kaufmann, J. Strother Moore — 1996
…ACL2 Theorems about Commercial Microprocessors Bishop Brock, Matt Kaufmann ? and J Strother Moore…
Cited by 60 (14 self) – Add To MetaCart

A Formal HDL and its Use in the FM9001 Verification
by Warren A. Hunt, Jr., Bishop C. Brock, Its Proof Internal Note — 1992
…, 5(4):429 460, December 1989. [15] Warren A. Hunt Jr. and Bishop C. Brock. The verification of a bit…
Cited by 27 (6 self) – Add To MetaCart

Testing the FM9001 Microprocessor
by Kenneth L. Albin, Bishop C. Brock, Warren A. Hunt, Jr., Lawrence M. Smith — 1995 — Jan.), Computational Logic, Inc
…Testing the FM9001 Microprocessor Kenneth L. Albin, Bishop C. Brock, Warren A. Hunt, Jr., Lawrence…
Cited by 4 (0 self) – Add To MetaCart

Experience with building a commodity Intel-based ccNUMA system
by Bishop C. Brock, B. C. Brock, Gary D. Carpenter, Eli Chiprout, Mark E. Dean, Elmootazbellah N. Elnozahy, Hubertus Franke, Philippe. L. De Backer, E. N. Elnozahy, H. Franke, Mark E. Giampapa, Rajan Ravindran, David Glasco, James L. Peterson, Ram Rajamony, R. Ravindran, Freeman L. Rawson, Ronald L. Rockhold, Juan Rubio — 2001
… be partitioned statically or dynamically, and uses by B. C. Brock G. D. Carpenter E. Chiprout M. E. Dean P. L. De…
Add To MetaCart

Showing 1 through 9.

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB