A structural optimization method for symbolic FSMs

[1992] Proceedings The European Conference on Design Automation Pub Date : 1992-03-16 DOI:10.1109/EDAC.1992.205929

B. Rouzeyre, G. Sagnes, G. Tarroux

引用次数: 0

Abstract

The paper presents a new structural optimization method for symbolic finite state machines. It is based on the common use of outputs for generating both the next state and the output vectors. An upper bound on the number of shared outputs is given as well as the algorithm giving the best solution.<>

查看原文本刊更多论文

符号fsm的结构优化方法

提出了一种新的符号有限状态机结构优化方法。它基于生成下一个状态和输出向量的输出的常用用法。给出了共享输出数的上界以及给出最佳解的算法。

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

求助全文

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

来源期刊

[1992] Proceedings The European Conference on Design Automation

自引率

0.00%

发文量