Improving correctness of finite-state machine synthesis from multiple partial input/output sequences

Proceedings of the First NASA/DoD Workshop on Evolvable Hardware Pub Date : 1999-07-19 DOI:10.1109/EH.1999.785463

P. Chongstitvatana, C. Aporntewan

引用次数: 23

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 the number of input/output sequences.

查看原文本刊更多论文

提高多部分输入/输出序列有限状态机合成的正确性

我们以前的工作主要集中在基于部分输入/输出序列的顺序电路的合成上。由于不知道目标电路的行为描述，因此无法验证结果的正确性。提出了一种利用多个部分输入/输出序列提高有限状态机(FSM)综合正确率的方法。该合成器基于遗传算法。实验结果表明，通过增加输入/输出序列的数量，可以将正确率提高到100%。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

求助全文

约1分钟内获得全文求助全文

来源期刊

Proceedings of the First NASA/DoD Workshop on Evolvable Hardware

自引率

0.00%

发文量