基于状态变换的同步时序电路测试生成

在线阅读 下载PDF 导出详情
摘要 详细分析了固定故障所反映出的状态变换特征,提出状态变换故障模型以及相对应的测试生成压缩方法;基于无复位时序电路,深入研究了有复位状态的同步状态机测试生成方法的扩展问题;最后讨论了故障精简以及启发知识在测试生成中的应用问题。
机构地区 不详
出版日期 1996年01月11日(中国期刊网平台首次上网日期,不代表论文的发表时间)
  • 相关文献