Technical profile

John L. Hennessy appears in the evidence as a computer-architecture author cited together with David A. Patterson. The cited bibliographic entry lists John L. Hennessy and David A. Patterson as authors of Computer Architecture, Fourth Edition: A Quantitative Approach, published by Morgan Kaufmann Publishers Inc. in San Francisco, CA, USA, in 2006, with ISBN 0123704901.[C1]

Connection to DLX and VAMP

In the microprocessor case study Test Program Generation for a Microprocessor: A Case Study, the VAMP processor is described as implementing the full DLX instruction set from Hennessy and Patterson.[C2] The same passage characterizes that instruction set as including load and store operations for double words, words, half words, and bytes; shift operations; jump-and-link operations; and various arithmetic and logical operations.[C3]

The case study uses this DLX-related architecture context while discussing an Isabelle/HOL programmer's-model specification of the VAMP processor. In that specification, an ISA configuration is composed of a program counter, delayed program counter, general-purpose registers, special-purpose registers, and a memory model.[C4]

Evidence-limited scope

The provided evidence supports Hennessy's association with Patterson's computer-architecture text and with the DLX instruction-set reference used in the VAMP case study. It does not provide independent biographical details, institutional affiliations, awards, or dates for Hennessy.