Публікація:
High level FSM design transformation using state splitting

dc.contributor.authorKulak, E.
dc.contributor.authorKovalyov, E.
dc.contributor.authorSyrevitch, Ye.
dc.contributor.authorGrankova, E.
dc.date.accessioned2016-09-02T07:11:30Z
dc.date.available2016-09-02T07:11:30Z
dc.date.issued2005
dc.description.abstractOne of the problems in the testbench generation for extended finite state machines (EFSM) is existence of internal variables. In fact the usage of these variables in the condition of transition increases real quantity of states by orders. Even for a variable with bit length 20 it leads to the state explosion problem. But for some control unit it is possible to make redesign of the project by including state variables to state register. The transformation algorithm contains phases of state splitting, transition splitting, unreachable (dead) state reduction and equivalent states minimization. The results of such transformation can be used for design analysis, optimization, validation, verification, synthesis and implementation. This paper was motivated by author’s work in the project ASFTest – a testbench generator for Aldec finite state machines. Graphical user interface used in state-of-the-art software allows to create environment for design entry with finite state machine abstract usage. Such form of design description is used in many software and hardware design tools like StatedCAD, FPGA Advantage, Stateworks, Stateflows, etc. The algorithm is described in the graphical way using the extended FSM notation. VHDL is chosen as target language. Synthesis is made by Xilinx synthesis tool which is included in Xilinx Webpack environment. The target device is CPLD Coollrunner II.uk_UA
dc.identifier.citationElvira Kulak High level FSM design transformation using state splitting /Eugene Kovalyov, Yevgeniya Syrevitch, Elvira Kulak, Evgeniya Grankova//Proceedings of IEEE East-West Design & Test Workshop (EWDTW’05)uk_UA
dc.identifier.urihttp://openarchive.nure.ua/handle/document/1960
dc.language.isoenuk_UA
dc.publisherEWDTWuk_UA
dc.subjectHigh level FSMuk_UA
dc.subjectdesign transformationuk_UA
dc.subjectstate splittinguk_UA
dc.titleHigh level FSM design transformation using state splittinguk_UA
dc.typeArticleuk_UA
dspace.entity.typePublication

Файли

Оригінальний пакет
Зараз показано 1 - 1 з 1
Завантаження...
Зображення мініатюри
Назва:
Кулак_EWDTW_2005.pdf
Розмір:
780.32 KB
Формат:
Adobe Portable Document Format
Ліцензійний пакет
Зараз показано 1 - 1 з 1
Немає доступних мініатюр
Назва:
license.txt
Розмір:
9.42 KB
Формат:
Item-specific license agreed upon to submission
Опис: