An Algorithm for Algebraic Synthesis of a Finite-State Machine Based on Operation Enumeration
- 1 January 2026
- journal article
- research article
- Published by Springer Nature in Cybernetics and Systems Analysis
- Vol. 62 (1) , 11-19
Abstract
No abstract availableKeywords
This publication has 12 references indexed in Scilit:
- An Algorithm for Solving the Problem of Algebraic Synthesis of a Finite-State Machine with Datapath of Transitions Based on a Matrix ApproachCybernetics and Systems Analysis, 2025
- A Matrix Method for Detecting Formal Solutions to the Problem of Algebraic Synthesis of a Finite-State Machine with a Datapath of TransitionsCybernetics and Systems Analysis, 2023
- Encyclopedia of Systems and Control2021
- Embedded System Design2021
- A Technology Mapping of FSMs Based on a Graph of Excitations and OutputsIEEE Access, 2019
- Applied Cyber-Physical Systems2014
- Synthesis and Optimization of FPGA-Based Systems2014
- Finite State Machine Logic Synthesis for Complex Programmable Logic Devices2013
- FSM‐Based Digital Design Using Verilog HDL2008
- ROM-Based Finite State Machine Implementation in Low Cost FPGAs2007