Identification of structured automata for test evaluation

Digest of Papers 1991 VLSI Test Symposium 'Chip-to-System Test Concerns for the 90's Pub Date : 1991-04-15 DOI:10.1109/VTEST.1991.208130

K. E. Maadani, J. Geffroy

引用次数: 5

Abstract

Presents an original approach to the evaluation of test sequences applied to sequential circuits represented by structured-functional models; the method is based on formal identification of the internal modules of the circuit studied. A prototype software tool has been implemented in PROLOG in order to validate the approach.<>

查看原文本刊更多论文

用于测试评估的结构化自动机识别

提出了一种新颖的测试序列评估方法，应用于由结构-功能模型表示的顺序电路;该方法基于对所研究电路内部模块的形式化识别。为了验证该方法，在PROLOG中实现了一个原型软件工具。

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

求助全文

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

来源期刊

Digest of Papers 1991 VLSI Test Symposium 'Chip-to-System Test Concerns for the 90's

自引率

0.00%

发文量