Title :
SynGuide: An environment for doing interactive correctness preserving transformations
Author :
Samson, H. ; Claesen, Luc ; Man, Hugo De
Author_Institution :
IMEC vzw., Leuven, Belgium
Abstract :
The authors present an overview of the meaning of Guided Synthesis by means of transformational design. They discuss the designer aspect of interaction with a specific Hardware Description Language to transform an original behavioral specification down to a level where an implementation can be done with logic synthesis tools or silicon compilers. A formal method for the optimization of a specification in a guaranteed correct way is presented. The method is based on the concept of improving a design by using a limited set of transformations that are proven to be correct. An environment enabling the user to do the transformations is created by using the Cornell Synthesizer Generator
Keywords :
circuit layout CAD; formal specification; hardware description languages; high level synthesis; programming environments; Cornell Synthesizer Generator; Guided Synthesis; SynGuide; behavioral specification; interactive correctness preserving transformations; logic synthesis tools; silicon compilers; specific HDL; transformational design; Algorithm design and analysis; Digital signal processing chips; Hardware design languages; High level synthesis; Libraries; Logic design; Optimization methods; Silicon compiler; Synthesizers; Vocoders;
Conference_Titel :
VLSI Signal Processing, VI, 1993., [Workshop on]
Conference_Location :
Veldhoven
Print_ISBN :
0-7803-0996-0
DOI :
10.1109/VLSISP.1993.404479
