基于SAT的串扰时延故障测试

来源 :计算机工程与应用 | 被引量 : 0次 | 上传用户:asdfghjka
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
随着深亚微米技术的不断发展和芯片运行速率的不断提高,串扰噪声问题越来越严重,对串扰时延测试已成为一个迫切的问题。在组合电路的基础上,将SAT(布尔可满足性)方法引入到串扰引起的时延测试中,通过词法分析和语法分析直接提取Verilog(硬件描述语言)源码的形式模型,组合成CNF(合取范式)形式。并在非鲁棒测试条件下,激活串扰时延故障,约简CNF 范式表达式,最终输入SAT 求解器得到测试矢量。在标准电路ISCAS’85 上进行实验验证,结果表明:该算法对于串扰时延故障的测试矢量产生是有效的。
其他文献
针对二维人像的三维姿态估计,结合标准脸型、人脸的统计知识和射影几何提出一种方法:多次选取标准脸型眼角点、嘴角点、鼻下点等特征点得到特征三角形并确定人脸三维模型;其次
[目的]观察天灸治疗支气管哮喘的疗效,探讨其护理。[方法]对100例支气管哮喘病人进行天灸治疗,比较治疗前后血清IgE含量的变化;随访3个月观察近期疗效。[结果]显效37例,好转54例,
[目的]探讨重型颅脑损伤病人腹泻发生原因与护理干预措施。[方法]对2005年1月2008年6月本院神经外科126例重型颅脑损伤病人腹泻的原因进行分析。将2005年1月-2006年6月住院的
面对加入WTO后全能型外资银行的挑战,国内银行必须以传统业务与新兴资本市场业务的有效整合为突破口,不断进行金融创新,以巩固和发展客户,并通过业务多元化分散经营风险.本文
函数思想是数学思想中的重要内容,指的是用函数的概念和性质去分析问题、转化问题和解决问题的思维策略,它在高中数学解题的过程中发挥着非常重要的作用.目前,我国高考加强了
<正> 在「實踐論」這篇光辉的著作中,毛主席對認識和实践的關係進行了马克思列甯主義的分析。科學地提出了「理論的基础是實践,又转過來為实践服」這兩個中心論点。就「理論的基礎是實践」來說,「实踐論」,認識世界的理論。依據毛主席的教導,認識發生於實踐。其歷程是先在實践中獲得感性認識,再在實践中深化為理性认識;隨着社會實踐的發展,認識也向前發展,而不論在任何過程和任何時期中,作為認識的真理性的唯一標準只能是實踐。就(理論)「又转過來为实踐服務」來說,「實踐論」,改造世界的理論。依據毛主席的教導,理論
中国加入WTO在给银行业带来机遇的同时,也带来空前的竞争压力.中国银行业为了能在未来的市场竞争中获得持久的优势地位,必须尽快制定适应未来网络经济时代的发展战略,抓住数
三角函数在高中阶段的数学内容中占很大比重,是数学中的基本初等函数之一,高中阶段学生常接触到的三角函数有正弦函数(sin x)、余弦函数(cos x)、正切函数(tan x),此外,还有
参数方程是高中数学内容中的重要组成部分,同时也是高考的必考内容,利用参数方程进行解题,有助于降低解题难度,提高解题效率.本文重点分析参数方程在高中数学解题中的应用.