loading...
Specification and synthesis of bounded indirection
The State University of New York at Buffalo March 16-March 18
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/GLSV.1995.516030Fifth Great Lakes Symposium on VLSI ( ...
 This Article 
 
Buy PURCHASE ARTICLE: $19
PDF
HTML
Buy IEEE Xplore Subscribers
 
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
ASCII Text
x 
 
M.E. Tuna, K. Rath, S.D. Johnson, "Specification and synthesis of bounded indirection," Great Lakes Symposium on VLSI, pp. 86, Fifth Great Lakes Symposium on VLSI (GLSVLSI'95), 1995.
 
 
BibTex
x
 
@article{ 10.1109/GLSV.1995.516030,
author = {M.E. Tuna and K. Rath and S.D. Johnson},
title = {Specification and synthesis of bounded indirection},
journal ={Great Lakes Symposium on VLSI},
volume = {0},
year = {1995},
issn = {1066-1395},
pages = {86},
doi = {http://doi.ieeecomputersociety.org/10.1109/GLSV.1995.516030},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Great Lakes Symposium on VLSI
TI - Specification and synthesis of bounded indirection
SN - 1066-1395
SP
EP
A1 - M.E. Tuna,
A1 - K. Rath,
A1 - S.D. Johnson,
PY - 1995
KW - hardware description languages; interrupts; high level synthesis; formal specification; data flow computing; finite state machines; control system CAD; bounded indirection; pointers; system specification; complex control structures; interrupts; continuations; dynamic connections; control state indirection; value indirection; net indirection; behavior tables; hardware description languages; data path descriptions; DMA controller
VL - 0
JA - Great Lakes Symposium on VLSI
ER -
 
M.E. Tuna, Dept. of Comput. Sci., Indiana Univ., Bloomington, IN, USA
K. Rath, Dept. of Comput. Sci., Indiana Univ., Bloomington, IN, USA
S.D. Johnson, Dept. of Comput. Sci., Indiana Univ., Bloomington, IN, USA
Bounded indirection is a restricted form of pointers, for system specification. It provides a mechanism for compact descriptions of many complex control structures, such as interrupts, continuations, and dynamic connections between machines. We describe three kinds of indirection-control state, value and net indirection-for use in different aspects of system description. Transformations on indirection representations and methods for synthesizing bounded indirection within the framework of behavior tables are presented.
Index Terms:
hardware description languages; interrupts; high level synthesis; formal specification; data flow computing; finite state machines; control system CAD; bounded indirection; pointers; system specification; complex control structures; interrupts; continuations; dynamic connections; control state indirection; value indirection; net indirection; behavior tables; hardware description languages; data path descriptions; DMA controller
Citation:
M.E. Tuna, K. Rath, S.D. Johnson, "Specification and synthesis of bounded indirection," glsvlsi, pp.86, Fifth Great Lakes Symposium on VLSI (GLSVLSI'95), 1995
Usage of this product signifies your acceptance of the Terms of Use.


Suggestions