Λεπτομέρειες βιβλιογραφικής εγγραφής
| Τίτλος: |
АЛГОРИТМИ АЛГЕБРАЇЧНОГО СИНТЕЗУ МІКРОПРОГРАМНОГО АВТОМАТА НА ОСНОВІ ПІДБОРУ КОДІВ СТАНІВ. (Ukrainian) |
| Alternate Title: |
ALGORITHMS FOR ALGEBRAIC SYNTHESIS OF A FINITE STATE MACHINE BASED ON STATE CODE SELECTION. (English) |
| Συγγραφείς: |
БАБАКОВ, Р. М., БАРКАЛОВ, О. О. |
| Πηγή: |
Cybernetics & Systems Analysis / Kibernetyka ta Systemnyi Analiz; 2026, Issue 5, p3-13, 11p |
| Θεματικοί όροι: |
Finite state machines, Logic circuit design, Mathematical optimization, Computer software execution |
| Περίληψη: |
For a finite state machine with data path of transitions, two modifications of known algebraic synthesis algorithms are proposed, combining the enumeration of state coding variants with a special algorithm for selecting codes for each state of the state machine. The algorithm for selecting state codes is based on the analysis of a set of codes that are not currently used to encode any state of the state machine, although they are admissible for use. For each state of the state machine, a code is selected from the set of unused codes that allows to minimize the number of transitions not covered by a given set of operations. Studies have shown that the combination of the enumeration of state coding variants with the selection of state codes allows to find formal solutions to the algebraic synthesis problem that have a smaller number of uncovered transitions and lead to lower hardware expenses in the logic circuit of a finite state machine with data path of transitions. A software implementation of the proposed algorithms was performed, which confirmed their correctness and effectiveness. [ABSTRACT FROM AUTHOR] |
|
Copyright of Cybernetics & Systems Analysis / Kibernetyka ta Systemnyi Analiz is the property of V.M. Glushkov Institute of Cybernetics of NAS of Ukraine and its content may not be copied or emailed to multiple sites without the copyright holder's express written permission. Additionally, content may not be used with any artificial intelligence tools or machine learning technologies. However, users may print, download, or email articles for individual use. This abstract may be abridged. No warranty is given about the accuracy of the copy. Users should refer to the original published version of the material for the full abstract. (Copyright applies to all Abstracts.) |
| Βάση Δεδομένων: |
Complementary Index |