DocumentCode
300343
Title
Procedure exlining: a new system-level specification transformation
Author
Vahid, Frank
Author_Institution
Dept. of Comput. Sci., California Univ., Riverside, CA, USA
fYear
1995
fDate
18-22 Sep 1995
Firstpage
508
Lastpage
513
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Design Automation Conference, 1995, with EURO-VHDL, Proceedings EURO-DAC '95., European
Conference_Location
Brighton
Print_ISBN
0-8186-7156-4
Type
conf
DOI
10.1109/EURDAC.1995.527452
Filename
527452
Link To Document