Sciweavers

Share
EH
1999
IEEE

Improving Correctness of Finite-State Machine Synthesis from Multiple Partial Input/Output Sequences

10 years 8 months ago
Improving Correctness of Finite-State Machine Synthesis from Multiple Partial Input/Output Sequences
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 correctness of the result can not be verified. This paper proposes a method which increases the correctness percentage of the finite-state machine (FSM) synthesis using multiple partial input/output sequences. The synthesizer is based on Genetic Algorithm. The experimental results show that the correctness percentage can be increased to 100% by increasing of the number of input/output sequences.
Prabhas Chongstitvatana, Chatchawit Aporntewan
Added 03 Aug 2010
Updated 03 Aug 2010
Type Conference
Year 1999
Where EH
Authors Prabhas Chongstitvatana, Chatchawit Aporntewan
Comments (0)
books