TY - GEN
T1 - ASMs in high level synthesis of EDA tool Abelite
AU - Baranov, Samary
PY - 2009
Y1 - 2009
N2 - 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.
AB - 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.
KW - Algorithmic state machines
KW - EDA tools
KW - Finite state machines
KW - High level synthesis
KW - Logic design
KW - System design
UR - http://www.scopus.com/inward/record.url?scp=79960964658&partnerID=8YFLogxK
U2 - 10.3182/20091006-3-es-4010.00030
DO - 10.3182/20091006-3-es-4010.00030
M3 - ???researchoutput.researchoutputtypes.contributiontobookanthology.conference???
AN - SCOPUS:79960964658
SN - 9783902661692
T3 - IFAC Proceedings Volumes (IFAC-PapersOnline)
SP - 160
EP - 165
BT - 4th IFAC Workshop on Discrete-Event System Design, DESDes'09 - Proceedings
PB - IFAC Secretariat
ER -