HOP: a process model for synchronous hardware systems

Update item information
Publication Type technical report
School or College College of Engineering
Department Computing, School of
Creator Gopalakrishnan, Ganesh
Other Author Fujimoto, Richard M.
Title HOP: a process model for synchronous hardware systems
Date 1988
Description Modules in HOP are black-boxes that are understood and used only in terms of their interface. The interface consists of d a t a ports, events, and a protocol specification that uses events and asserts/queries values to / from ports. Events are realized as different combinations of control wires or as predicates defined over data conduits. Module await either command events or status events. Data conduits are realized as bus structures that deliver the same data items at the receiving end as items sent at t h e sending end (i.e. the busses do not have any wire-permutations, tappings, etc.). HOP is useful for writing both requirements (a priori) specifications and design (a posteriori) specifications. The manner in which requirements are expressed has usually no bearing on the actual implementation chosen later. Design specifications capture known facts about a system that has been built or has been designed in detail. In a HOP based design methodology, design proceeds hierarchically, and on many occasions (but not always) top-down. For most large systems, t h e requirements specification consists of the specification of a collection of modules and not one module; for these systems, the single module view is only derived a posteriori.
Type Text
Publisher University of Utah
First Page 1
Last Page 48
Subject HOP; Process models; Synchronous hardware systems
Language eng
Bibliographic Citation Gopalakrishnan, G., & Fujimoto, R. M. (1988). HOP: a process model for synchronous hardware systems. 1-48. UUCS-TR-88-003.
Series University of Utah Computer Science Technical Report
Rights Management ©University of Utah
Format Medium application/pdf
Format Extent 9,008,604 bytes
Identifier ir-main,16140
ARK ark:/87278/s69z9pd1
Setname ir_uspace
Date Created 2012-06-13
Date Modified 2012-12-17
ID 705964
Reference URL https://collections.lib.utah.edu/ark:/87278/s69z9pd1
Back to Search Results