Title :
Synthesis Techniques for Digital Systems Design
Author_Institution :
Universitat Karlsruhe Forschungszentrum Informatik, Karlsruhe F.R.Germany
Abstract :
Several techniques that can be used for the synthesis of structures from behavioural level descriptions are discussed. Data flow analysis, graph grammars, ´direct´ compilation and ´knowledge-based´ systems among others are reviewed and their applicability to synthesis is investigated. Both the specification at the behavioural level and the resulting structure are defined formally by directed graphs. Synthesis is then a transformation between these graphs. It is shown that algorithmic techniques can yield efficient designs, specially if several of them are combined.
Keywords :
Algorithm design and analysis; Circuit synthesis; DSL; Data analysis; Design automation; Digital systems; Flow graphs; Silicon compiler; Very large scale integration;
Conference_Titel :
Design Automation, 1985. 22nd Conference on
Print_ISBN :
0-8186-0635-5
DOI :
10.1109/DAC.1985.1585984