Publication Type |
Journal Article |
School or College |
College of Engineering |
Department |
Computing, School of |
Creator |
Gopalakrishnan, Ganesh |
Other Author |
Akella, Venkatesh |
Title |
Hierarchical action refinement: a methodology for compiling asynchronous circuits from a concurrent HDL |
Date |
1991 |
Description |
A hardware specification formalism called hopCP is introduced, hopCP provides an uniform notation t o describe the causal relationships between a set of nonatomic actions which capture the computational, concurrency, control and communication aspects of hardware behavior. A systematic approach to synthesize asynchronous circuits from hopCP, based on hierarchical action refinement, is presented. Actions in hopCP could denote control, value communication, and computation (e.g.: evaluation of functional expressions). The salient features of our scheme include systematic resource allocation and control decomposition with the ability to use standard off the shelf components and the flexibility to retarget the compilation to different data transfer protocols and hardware primitives. The synthesis of LRU (least recently used) circuit used in the design of cache memory and virtual memory systems is presented to illustrate our ideas. |
Type |
Text |
Publisher |
University of Utah |
First Page |
91 |
Last Page |
12 |
Subject |
Hierarchical action refinement; Hardware specification formalism; hopCP |
Subject LCSH |
Memory hierarchy (Computer science) |
Language |
eng |
Bibliographic Citation |
Akella, V., & Gopalakrishnan, G. (1991). Hierarchical action refinement: a methodology for compiling asynchronous circuits from a concurrent HDL. UUCS-91-012. |
Series |
University of Utah Computer Science Technical Report |
Relation is Part of |
ARPANET |
Rights Management |
©University of Utah |
Format Medium |
application/pdf |
Format Extent |
6,873,526 bytes |
Identifier |
ir-main,16370 |
ARK |
ark:/87278/s6g73zdc |
Setname |
ir_uspace |
ID |
707021 |
Reference URL |
https://collections.lib.utah.edu/ark:/87278/s6g73zdc |