富米，F。；西乌托，D。 基于交互式和分层FSM的完整测试策略。 （英语） Zbl 0905.68071号 集成。，VLSI J。 23，第1期，75-93（1997）. 摘要：控制主导设备通常被建模为有限状态机的组合。FSM可以分层组成以控制建模复杂性，也可以聚合为交互体系结构以划分复杂行为。可以通过硬件描述语言从设备的描述中提取基于分层或交互式FSM的表示。本文的核心是在比较这些FSM表示和设备结构表示的基础上，定义一个完整的测试策略。考虑到网关级实现上的实际卡住故障模型，通过使用功能信息执行扫描插入、冗余消除和测试模式生成，这种比较简化了测试问题。因此，即使对于无法在门级进行令人满意的分析的此类设备，也可以获得完全可测试的实现。 MSC公司： 68瓦35 非数值算法的硬件实现（VLSI算法等） 关键词：FSM公司；功能测试；硬件描述语言 PDF格式BibTeX公司 XML格式引用 \textit{F.Fummi}和\textit{D.Sciuto}，集成。，VLSI J.23，第1期，75--93（1997；Zbl 0905.68071） 全文： 内政部