Specification and synthesis of bounded indirection

	This Article
	Subscribers, please Login Purchase article: $19 PDF IEEE Xplore Subscribers RSS feed
	Share
	Email this Article to a friend
	Bibliographic References
	ASCII Text BibTex RefWorks Procite/RefMan/Endnote
	Add to:
	Digg Furl Spurl Blink Simpy Google Del.icio.us Y!MyWeb
	Search
	Similar Articles Articles by M.E. Tuna Articles by K. Rath Articles by S.D. Johnson

Fifth Great Lakes Symposium on VLSI (GLSVLSI'95)

The State University of New York at Buffalo

March 16-March 18

ISBN: 0-8186-7035-5

	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

DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/GLSV.1995.516030

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

Peer Review Notice | Give Us Feedback

Usage of this product signifies your acceptance of the Terms of Use.