scientific article; zbMATH DE number 978906
From MaRDI portal
Recommendations
- scientific article; zbMATH DE number 1014082
- Complex minimization method for finite state machines implemented on programmable logic devices
- Logic synthesis for VLSI-based combined finite state machines. Synthesis targeting ASICs, CPLDs and FPGAs
- Logic synthesis for finite state machines based on linear chains of states. Foundations, recent developments and challenges
- Minimization of incompletely specified Mealy finite-state machines by merging two internal states
Cited in
(17)- Generating FSMs from interworkings
- A heuristic algorithm for the minimization of incompletely specified finite state machines
- Logic synthesis for VLSI-based combined finite state machines. Synthesis targeting ASICs, CPLDs and FPGAs
- Using logic to solve the submodule construction problem
- Local encoding transformations for optimizing OBDD-representations of finite state machines
- Matrix approach to simplification of finite state machines using semi-tensor product of matrices
- On state reduction of incompletely specified finite state machines
- scientific article; zbMATH DE number 139803 (Why is no real title available?)
- Improvement of FSM synthesis using the transition matrix representation
- Hardware reduction for LUT-based Mealy FSMs
- Improving characteristics of LUT-based mealy FSMs
- Automated assumption generation for compositional verification
- The realization of finite state machines by decomposition and the principal lattice of partitions of a submodular function.
- On the complexity of existence of homing sequences for nondeterministic finite state machines
- scientific article; zbMATH DE number 7455750 (Why is no real title available?)
- Synthesis of autosymmetric functions in a new three-level form
- Active learning of nondeterministic finite state machines
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4332902)
