Encoding of Terms in EMB-Based Mealy FSMs
| Autor: | Kazimierz Krzywicki, Larysa Titarenko, Małgorzata Mazurkiewicz, Alexander Barkalov |
|---|---|
| Jazyk: | angličtina |
| Rok vydání: | 2020 |
| Předmět: |
State variable
synthesis Computer science 02 engineering and technology lcsh:Technology Set (abstract data type) Reduction (complexity) lcsh:Chemistry EMB Encoding (memory) 0202 electrical engineering electronic engineering information engineering General Materials Science structural decomposition Instrumentation lcsh:QH301-705.5 Sequential algorithm FPGA Fluid Flow and Transfer Processes Finite-state machine lcsh:T Process Chemistry and Technology 020208 electrical & electronic engineering LUT embedded memory blocks General Engineering look-up table elements lcsh:QC1-999 Computer Science Applications lcsh:Biology (General) lcsh:QD1-999 lcsh:TA1-2040 Lookup table mealy finite state machine 020201 artificial intelligence & image processing lcsh:Engineering (General). Civil engineering (General) Algorithm State transition table lcsh:Physics Hardware_LOGICDESIGN |
| Zdroj: | Applied Sciences, Vol 10, Iss 2762, p 2762 (2020) Applied Sciences Volume 10 Issue 8 |
| ISSN: | 2076-3417 |
| Popis: | A method is proposed targeting implementation of FPGA-based Mealy finite state machines. The main goal of the method is a reduction for the number of look-up table (LUT) elements and their levels in FSM logic circuits. To do it, it is necessary to eliminate the direct dependence of input memory functions and FSM output functions on FSM inputs and state variables. The method is based on encoding of the terms corresponding to rows of direct structure tables. In such an approach, only terms depend on FSM inputs and state variables. Other functions depend on variables representing terms. The method belongs to the group of the methods of structural decomposition. The set of terms is divided by classes such that each class corresponds to a single-level LUT-based circuit. An embedded memory block (EMB) generates codes of both classes and terms as elements of these classes. The mutual using LUTs and EMB allows diminishing chip area occupied by FSM circuit (as compared to its LUT-based counterpart). The simple sequential algorithm is proposed for finding the partition of the set of terms by a determined number of classes. The method is based on representation of an FSM by a state transition table. However, it can be used for any known form of FSM specification. The example of synthesis is shown. The efficiency of the proposed method was investigated using a library of standard benchmarks. We compared the proposed with some other known design methods. The investigations show that the proposed method gives better results than other discussed methods. It allows the obtaining of FSM circuits with three levels of logic and regular interconnections. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|