The AnalysisofModernFSM Description Languages
Gennadiy Krivulya, Eugene Kovalyov, Mikhail Laptev · 2006
brief overview ofdevice description methods as FiniteStateMachineis suggested. The comparative characteristic ofFSM,SDLandUML languages according tothe possibilities ofFinite State Machine representation isheld. The mostsuitable as totherepresentation ofFSM program realizations arechosen foreachofthese languages. Themain waysoffuture workinthis field aredetermined. Keywords -Finite State Machine (FSM), flowchart, transition graph,VHDL-model, SDL-model, UML-model, system specification, process, predefined datatype,Hardware Description languages (HDL), synthesis programs. I.INTRODUCTION Thedescription ofdevice behavior isoften represented as flowchart orgraph intheengineering practice. Thetransition fromonemethod ofdevice representation toanother was developed byBaranov S.I.in70-th. Marking algorithms of various state machine types areknows. Itisalso knownthat marking operation canbefulfilled indifferent ways, andthe obtained schemes will differ bytheir characteristics. Changing thehigh-level description leads todifferent expenditures in thesynthesized model. Moreover: itisnecessary toreveal faults ontheearly stages ofmodeldesign whenthecostof fault correction isminimal. Thequestion ofFSMinput parameter definition appears. Therepresentation ofFinite State Machine asafile ofsome format isconceived tobesuitable. This format mustgive the possibility ofmodel conversion into theflowchart orinto the graph andHDL-code generation. Theobtained HDL-model hastobesupported bytheexiting meansofsynthesis. Theproblems ofoptimization andminimization arerather seldom considered during theprocess ofconversion ofthefile ofthegiven format into thecorresponding graph byprogram tools. During theprocess ofprocess oftransformation ofthe flowchart orgraph ofthedigital device into VHDL-model, Verilog-model orSystemC-model, problems ofminimization andoptimization ofthedevice havetobesolved. So,it's necessary notonly tocreate themodel, which canbeeasily synthesized bytheexisting meansofsynthesis, butalso to optimize itbytherequired setofparameters aswell(2). It's also important tonotice that there's nofuture standardization ofthemostconvenient andeffective wayofdigital device representation inthemostsuitable form. concrete standard of digital automate representation asafile, soworking-out of this problem mayleadtothefuture standardization ofthe mostconvenient andeffective wayofdigital device representation inthemostsuitable form.