David A. Patterson
David A. Patterson is referenced in the provided technical evidence as a coauthor, with John L. Hennessy, of Computer Architecture, Fourth Edition: A Quantitative Approach. The cited bibliographic entry lists the book as published by Morgan Kaufmann Publishers Inc. in San Francisco, CA, USA, in 2006, with ISBN 0123704901.
Technical context in the evidence
The evidence comes from Test Program Generation for a Microprocessor: A Case Study, which discusses the VAMP processor and its formal Isabelle/HOL programmer's model. In that paper, the VAMP processor is described as implementing the full DLX instruction set “from Hennessy and Patterson.” The same passage characterizes the instruction set as including load and store operations for double words, words, half words, and bytes, as well as shift operations, jump-and-link operations, and arithmetic and logical operations.
Bibliographic record cited by the source
- John L. Hennessy and David A. Patterson. Computer Architecture, Fourth Edition: A Quantitative Approach. Morgan Kaufmann Publishers Inc., San Francisco, CA, USA, 2006. ISBN 0123704901.
Evidence-limited scope
No additional biographical details, affiliations, awards, or publication history for David A. Patterson are present in the supplied evidence. The supported claims are limited to his coauthorship of the cited computer-architecture book and the use of “Hennessy and Patterson” as the source associated with the DLX instruction set in the VAMP case study.