ASMs in high level synthesis of EDA tool Abelite

Samary Baranov

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    6 Scopus citations


    High level synthesis, implemented in the experimental EDA tool Abelite is based on Algorithmic State machine (ASM) transformations (composition, minimization, extraction, etc.), special algorithms for Data Path and Control Unit design and a very fast optimizing synthesis of FSM and combinational circuits with hardly any constraints on the number of inputs, outputs and states. Design tools supporting this methodology allow very fast to implement, check and estimate many possible design versions, to find an optimized decision of the design problem and to simplify the verification problem for digital systems.

    Original languageEnglish
    Title of host publication4th IFAC Workshop on Discrete-Event System Design, DESDes'09 - Proceedings
    PublisherIFAC Secretariat
    Number of pages6
    EditionPART 1
    ISBN (Print)9783902661692
    StatePublished - 2009

    Publication series

    NameIFAC Proceedings Volumes (IFAC-PapersOnline)
    NumberPART 1
    ISSN (Print)1474-6670


    • Algorithmic state machines
    • EDA tools
    • Finite state machines
    • High level synthesis
    • Logic design
    • System design


    Dive into the research topics of 'ASMs in high level synthesis of EDA tool Abelite'. Together they form a unique fingerprint.

    Cite this