Methods for automatic design error correction in sequential circuits

Methods for automatic design error correction in sequential circuits
复制标题

时序电路自动设计误差修正方法

DOI：
10.1109/edac.1993.386497
复制
发表时间：
1993
期刊：
1993 European Conference on Design Automation with the European Event in ASIC Design
影响因子：
--
通讯作者：
M. Fujita
M. Fujita
中科院分区：
--
文献类型：
--
作者：
M. Fujita

文献摘要

被引文献

相似文献

给定两个电路，一个规范和另一个设计，首先假定两个电路之间的对应关系，或者电路通过几个时间帧扩展。基于该对应关系或扩展，提出的方法试图通过更改设计器指定的电路部分来自动纠正设计错误。实验结果表明，所提出的方法可以是FSM设计的非常有效的工具，其中可能经常进行小型手动设计修改。<< etx >>
Given two circuits, one specification and the other design, a correspondence between states of the two circuits is first assumed or the circuits are expanded by several time frames. Based on that correspondence or expansion, the proposed methods try to automatically correct design errors by changing the part of the circuit which is specified by a designer. Experimental results show that the proposed method can be a very effective tool for FSM designs where small manual design modifications may happen frequently.<<ETX>>