2 search results - page 1 / 1 » Improving Correctness of Finite-State Machine Synthesis from... |
EH
1999
IEEE
1999
IEEE
Improving Correctness of Finite-State Machine Synthesis from Multiple Partial Input/Output Sequences
13 years 9 months ago
Our previous work focused on the synthesis of sequential circuits based on a partial input/output sequence. As the behavioural description of the target circuit is not known the c...
ICCS
2004
Springer
13 years 10 months ago
2004
Springer
This work focuses on the synthesis of finite-state machines (FSMs) by observing its input/output behaviors. Evolutionary approaches that have been proposed to solve this problem do...