Title :
Specification and synthesis of bounded indirection
Author :
Tuna, M. Esen ; Rath, Kamlesh ; Johnson, Steven D.
Author_Institution :
Dept. of Comput. Sci., Indiana Univ., Bloomington, IN, USA
Abstract :
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
Keywords :
control system CAD; data flow computing; finite state machines; formal specification; hardware description languages; high level synthesis; interrupts; DMA controller; behavior tables; bounded indirection; complex control structures; continuations; control state indirection; data path descriptions; dynamic connections; hardware description languages; interrupts; net indirection; pointers; system specification; value indirection; Automata; Computer languages; Computer science; Control system synthesis; Data structures; Flow graphs; Hardware design languages; Laboratories; Senior members; Very large scale integration;
Conference_Titel :
VLSI, 1995. Proceedings., Fifth Great Lakes Symposium on
Conference_Location :
Buffalo, NY
Print_ISBN :
0-8186-7035-5
DOI :
10.1109/GLSV.1995.516030
