Title :
Synthesizing circuits from behavioural descriptions
Author :
Camposano, Raul ; Rosenstiel, Wolfgang
Author_Institution :
Forschungszentrum Inf., Karlsruhe Univ., West Germany
fDate :
2/1/1989 12:00:00 AM
Abstract :
The authors discuss in detail the synthesis of structures from behavioural domain descriptions. The overall synthesis approach is explained, the techniques and methods used to solve the main problems are discussed, implementation results are given, and experiences with various examples are described. The principal topics that are addressed are design description in the behavioural domain using a formal language, internal representation of the behaviour, synthesis based on data-flow analysis, optimizations and generation of a hardware structure. These techniques were implemented in the Karlsruhe DSL synthesis system
Keywords :
logic arrays; logic design; Karlsruhe DSL synthesis system; behavioural descriptions; behavioural domain; data-flow analysis; formal language; hardware structure; optimizations; Circuit synthesis; Control system synthesis; Costs; DSL; Data analysis; Design optimization; Digital systems; Formal languages; Logic; Silicon;
Journal_Title :
Computer-Aided Design of Integrated Circuits and Systems, IEEE Transactions on