【摘 要】
：
随着集成电路设计规模的日益增大,组合验证已成为时序电路的形式化等价性验证的重要手段.为了验证较大规模的电路,通常需要将随机模拟、自动测试生成、二叉判决图、布尔可满足性等多种推理引擎相结合.本文提出了一种基于电路拓扑结构分析的组合等价性验证方法,通过将电路的拓扑结构与算法的复杂性关联起来,在验证过程开始之前,利用min-cut方法,计算表征电路复杂性的“电路宽度”,由此确定最佳的推理引擎,避免传统的
【机 构】
：
浙江林学院信息工程学院,中国 杭州 311300 浙江大学工业控制技术国家重点实验室,中国 杭州 310027
论文部分内容阅读
随着集成电路设计规模的日益增大,组合验证已成为时序电路的形式化等价性验证的重要手段.为了验证较大规模的电路,通常需要将随机模拟、自动测试生成、二叉判决图、布尔可满足性等多种推理引擎相结合.本文提出了一种基于电路拓扑结构分析的组合等价性验证方法,通过将电路的拓扑结构与算法的复杂性关联起来,在验证过程开始之前,利用min-cut方法,计算表征电路复杂性的“电路宽度”,由此确定最佳的推理引擎,避免传统的引擎切换过程,从而提高算法的效率。针对ISCAS85电路的实验结果表明了本文方法的效率和可行性。
其他文献
存储单元内建自测试技术(MBIST),可以很方便的通过很少的信号反映被测存储单元的结果.但是SOC芯片上可能会有许多不同类型的存储器单元,本文描述了一种可测试电路,它可以收集芯片上所有存储器单元的MBIST详细测试结果,并通过一个序列输出.这个序列中的信息既能满足工厂晶元测试时间需要,也能提供晶元修复时所需的冗余地址了本文模型及理论解的正确性。
该文提出了用于多时钟域SOC的TAM优化与测试调度算法,以减少多时钟域SOC的测试时间.为了验证该算法的有效性,该文在多时钟域SOC MCDS2中进行了实验.验证结果表明,测试时间减少程度随测试总线宽度增大而变得极度缓慢.因此,在设计时,可在测试时间与测试面积、设计复杂度之间进行很好的折衷.
针对深亚微米工艺下瞬态故障引发的软错误成为芯片失效的主导原因,文中给出一种容软错误的高可靠BIST结构:FY-CBILBO.该结构首先对并发内建逻辑块观察器(CBILBO)进行改进,通过对多输入特征寄存器进行功能复用,构建双模冗余的容错微结构并且能有效降低开销。为了克服双模冗余容错结构仅能检错、无法纠错的缺点,FT-CBILBO在触发器输出端插入C单元,有效针对单事件翻转进行防护,阻塞瞬态故障引发
传统的可靠性模型研究中,利用数理分析,把软件缺陷数当成是一个随机数,这无疑会对分析软件可靠性造成误差.把未确知数学理论用于可靠性模型中,采用其分析软件故障过程,用未确知数学描述软件失效特征计算软件可靠性参数,并在此基础上构建了一个基于未确知数学理论的软件可靠性模型.新模型改变了传统的建模思路,跳出了传统软件可靠性建模过程中关于失效强度变化的各种统计分布假设的束缚,具有较好的适用性,改善了模型应用中
针对Pathload可用带宽测量方法存在收敛慢、开销大的问题,文章基于时延变化的统计规律,改进发送速率调整算法,提出了一种Pathload可用带宽测量方法的改进方法(WPathload),并采用周期流组到达目的端的速率代替周期流的发送速率,更新可用带宽上界,从而加快收敛速度,降低测量开销。实验结果表明,改进后的方法收敛速度明显加快,测量开销明显降低。
建立了基于改进的J-M模型,改进模型在原有的J-M模型基础上定义了故障消除概率,从而克服了原模型对于排错过程估计过于乐观的不足.该模型可以根据软件测试中搜集的故障数据,估计出软件初始故障数、单位故障率,并能预测出软件下一故障发生的概率及最可能出现的时间,预测出软件系统可靠性增长的趋势,为判断产品的质量达标与否提供理论依据.从而得出软件可以达到的可靠性指标及达到该指标所需要的测试时间.
Three new architectures that applied to flash memory test are introduced in this article. Test Per- Site Architecture allows each device to run through the test flow as fast as possible without waitin
为了减少测试模式的存储需求,本文提出了一种基于扭环计数器作为测试模式产生器的横向和竖向数据压缩技术.首先,利用输入精简技术对测试集进行横向压缩,接着,对横向压缩之后的测试集再进行竖向压缩,在竖向压缩方面,我们利用了一个有效的种子选择算法,它能将确定性的测试集压缩成很小的种子集.基于ISCAS89 Benchmark 的实验结果表明,采用本方案所实现的测试电路,存储位数平均减少了44％,测试矢量的长
本文主要讲述了在使用Formality作形式验证时发现了综合前后仿真失配的各种问题,并对其中由于不良的代码风格所引起的问题进行了举例分析,而且对如何修改程序提出了自己的建议。
IEEE属性描述语言PSL为描述硬件设计的属性提供了一种标准语言,基于断言的验证方法(ABV)为硬件的设计和验证提出了一种新的很具有优势的验证方法。用PSL作为ABV方法中描述断言的语言,使得ABV中的断言能够被语法精简、语义严格清晰地描述出来.本文通过对FIFO设计和断言的描述,以及对断言的验证结果的描述,给出了如何利用PSL写断言的一般方法,然后再进行模拟仿真,找出使断言失败的原因,以便找出设