Title :
Procedure exlining: a new system-level specification transformation
Author_Institution :
Dept. of Comput. Sci., California Univ., Riverside, CA, USA
Abstract :
We introduce a new system-level specification transformation called procedure exlining. Exlining is the problem of replacing sequences of statements by procedure calls, which is the opposite problem of inlining. Procedures are used by system synthesis and behavioral synthesis tools to guide exploration of various high-level implementations, so exclining can greatly improve the results of synthesis. We demonstrate the usefulness of exlining on several examples
Keywords :
formal specification; hardware description languages; systems analysis; behavioral synthesis tools; inlining; procedure calls; procedure exlining; system synthesis; system-level specification transformation; Computer science; Costs; Error correction; Hardware; Logic; Runtime; Software standards; Software tools; Specification languages; Writing;
Conference_Titel :
Design Automation Conference, 1995, with EURO-VHDL, Proceedings EURO-DAC '95., European
Conference_Location :
Brighton
Print_ISBN :
0-8186-7156-4
DOI :
10.1109/EURDAC.1995.527452
