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

  • Authors:
  • Prabhas Chongstitvatana;Chatchawit Aporntewan

  • Affiliations:
  • -;-

  • Venue:
  • EH '99 Proceedings of the 1st NASA/DOD workshop on Evolvable Hardware
  • Year:
  • 1999

Quantified Score

Hi-index 0.00

Visualization

Abstract

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.