Please use this identifier to cite or link to this item: http://hdl.handle.net/1880/46581
Title: HOP: A PROCESS MODEL FOR SYNCHRONOUS HARDWARE SEMANTICS, AND EXPERIMENTS IN PROCESS COMPOSITION
Authors: Gopalakrishnan, Ganesh C.
Fujimoto, Richard M.
Akella, Venkatesh
Mani, Narayana S.
Keywords: Computer Science
Issue Date: 1-Apr-1989
Abstract: We present a language "Hardware viewed as Objects and Processes" (HOP) for specifying the structure, behavior, and timing of hardware systems. HOP embodies a simple process model for lock-step synchronous processes. An absproc specification written in HOP describes the externally observable behavior of a process. A collection of absprocs may be composed to form a larger process, using the operators parallel composition, renaming, and hiding. In this paper we present the communication primitives of HOP, illustrate HOP through several examples, and then present its operational semantics. We present an algorithm PARCOMP that is based on HOP's semantics. We illustrate three uses of PARCOMP: (i) inferring concise behavioral descriptions of systems from their structural descriptions; (ii) static detection of control timing errors during behavioral inference; (iii) productive and run-time efficient functional simulation using the inferred behavior.
URI: http://hdl.handle.net/1880/46581
Appears in Collections:Technical Reports

Files in This Item:
File Description SizeFormat 
1989-350-12.pdf5.69 MBAdobe PDFView/Open


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.