• DocumentCode
    911226
  • Title

    Synthesizing circuits from behavioural descriptions

  • Author

    Camposano, Raul ; Rosenstiel, Wolfgang

  • Author_Institution
    Forschungszentrum Inf., Karlsruhe Univ., West Germany
  • Volume
    8
  • Issue
    2
  • fYear
    1989
  • fDate
    2/1/1989 12:00:00 AM
  • Firstpage
    171
  • Lastpage
    180
  • 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;
  • fLanguage
    English
  • Journal_Title
    Computer-Aided Design of Integrated Circuits and Systems, IEEE Transactions on
  • Publisher
    ieee
  • ISSN
    0278-0070
  • Type

    jour

  • DOI
    10.1109/43.21835
  • Filename
    21835