论文部分内容阅读
分析了结构化的测试生成对于只读存储器的建模需求,从提高测试生成的效率角度,建立含复杂数据的ROM简化模型,经过模型验证、测试生成及仿真实验表明,模型的使用在保证了故障覆盖率的前提下明显减少测试生成时间,更有助于生成有效的测试向量。
面向ATPG的ROM模型
【摘 要】
：
分析了结构化的测试生成对于只读存储器的建模需求,从提高测试生成的效率角度,建立含复杂数据的ROM简化模型,经过模型验证、测试生成及仿真实验表明,模型的使用在保证了故障
【机 构】
：
清华大学自动化系,北京 100084
【出 处】
：
第十二届全国容错计算学术会议
【发表日期】
：
2007年期
其他文献
随着全球经济的发展以及工业企业之间竞争的加剧,企业对产品质量的要求越来越高,对生产过程的自动控制要求也越来越严格.在工业控制中,除了满足最基本的稳定性要求之外,对系
传统的软件测试方法很难检测出C/C++程序中的非法计算故障,该类故障极易导致系统崩溃。分析了C/C++语言中常见非法计算故障,并从面向具体故障的测试思想出发,建立了C/C++语言
伴随着数字电路复杂度的增加和CAD技术的发展,高层综合技术得到广泛应用,其中基于行为级描述的可测性综合技术充分考虑了测试结构的插入和可测性的要求,成为测试领域研究的新
采用基于HLA(High Level Architecture)的分布式仿真技术以及三维视景仿真技术,设计了分布式可视化导弹攻防系统仿真平台;实现了联邦成员框架、RTI接口组件和框架中的设计模
基于RFID中间件对高可靠性、高可用性、高扩展性、高性能的越来越高的要求,该文通过将集群技术引入到RFID中间件中来实现这些要求.主要内容包括2个方面:分布式数据管理和组件
基于斜率故障模型,利用节点电压关系函数直线的角度作为故障特征,提出了基于角度故障模型的软故障字典法。根据角距离对电路进行测前等价故障分析,进一步建立了区分等价故障
有效的特征提取是人脸图象识别的关键技术.该文提出了一种非线性DCT鉴别特征提取方法并将其应用到人脸识别中.首先对人脸图像做DCT变换并选择合适的频段,然后使用广义KDCV方法来提取这些频段中的非线性鉴别特征.在FERET人脸库上的实验证明了该方法的有效性.“,”Its necessary to extract more effective features,which affect the classification result directly. A nonlinear DCT discrimina
研究了使用理想转移矩阵来计算电路可测试性度量的方法。它与SCOAP的不同之处在于,以线路被置1和置0的概率作为衡量电路可控制性的指标,计算的结果更准确。提出了对原有的理
对软件质量进行有效的度量,能够改进软件过程,提高软件质量,同时也便于对软件进行客观地评价。现有的软件质量模型和度量方法有很多,但许多指标都是采用定性的方法来衡量,结
该文针对人体识别过程中用关系匹配识别人体问题的不足,提出了用最小结构误差匹配算法来进行人体识别的方法.该文详细阐述了基于关系匹配部件化人体识别方法的基本原理、实现