【摘 要】
：
自动测试产生(ATPG)不仅应用于芯片测试向量生成,也是芯片设计验证的重要引擎之一.提出了一种组合电路测试产生的代数方法,既可作为组合验证的ATPG引擎,又可用于通常的测试产
【机 构】
：
中国科学院计算技术研究所,中国科学院计算技术研究所,中国科学院计算技术研究所
论文部分内容阅读
自动测试产生(ATPG)不仅应用于芯片测试向量生成,也是芯片设计验证的重要引擎之一.提出了一种组合电路测试产生的代数方法,既可作为组合验证的ATPG引擎,又可用于通常的测试产生.该算法充分发挥了二叉判决图(BDD)及布尔可满足性(SAT)的优势,通过启发式策略实现SAT算法与BDD算法的交替,防止因构造BDD可能导致的内存爆炸,而且使用增量的可满足性算法,进一步提高了算法的效率.实验结果表明了该算法的可行性和有效性.
其他文献
多模块贝叶斯网络(MSBN)引入了模块化和面向对象思想,是复杂大系统建模的有力工具 .目前,如何简化MSBN中局部和全局推理的时空复杂度已成为影响其应用的关键问题 .首先分析了
【摘 要】 天上白云飘，地上兔子跑，河水起涟漪，人间多奇妙。随着人类社会迅猛发展，拥有一定的地理空间思维能力已经成为人们必须具备的一种基本素养。作为一名高中地理教师，应该群策群力，开拓进取，合理应用现代多媒体基础，创设轻松愉悦的教学氛围，鼓励引导学生张开创新思维的翅膀，进一步提升学生的空间思维意识和创新思维能力，使更多的学生将来成为实现中国梦的主力军。 本文作者与时俱进，畅谈了在高中地理教学培养学
当我们徜佯在地理大观园的时候，无不为其美丽所折服！ 一、人地关系的和谐美 地理把人地相关性作为自己的研究对象，为我们揭示出：人类是自然的一部分，人类与自然是不可分割的整体，人与自然平等、共生、共存，人和自然的关系是和谐的关系，强调人地关系的和谐发展。通过对地理人地相关性的学习，使我们能够理解到人与自然间的正确关系，理解尊重自然，才能和谐共处的理念，从而体味出一种和谐美。 二、地理事物和现象的
<正>听了不少特级教师的课给我印象最深的就是他们的内涵丰富、个性鲜明;他们的决胜于千里之外、运筹于帷幄之中;他们亦或妙趣横生、亦或波澜壮阔……但总是让人觉得荡气回肠
广告专业学生的实践能力是广告专业教学的重要目标。利用正确的广告教学模式来提高学生的实践能力是社会对于教学活动的最新要求。本文以基于学生实践能力培养的广告专业教学
名词化是常见的语言使用现象,存在于各种语篇当中。本文对名词化的概念进行梳理,选取15篇关于西方婚嫁风俗的语篇,对其中出现的名词化现象进行分析,旨在帮助学生在英语四六级
今天，天气晴朗，老师带我们到动物园去参观，大家可高兴了！ 动物园很大很大，里面的动物很多很多。这些动物又机灵又可爱，最有趣的是它们还会变出不同的数字呢。你看，在水里游泳的鸭子多像一个“2”啊！这只骆驼的背不就是一个“3”吗？瞧，那边的蛇一直在挪动，会变出好多数字呢，一会儿变成“1”，一会儿变成“5”，一会儿又变成“7”…… 真有趣，在动物的身上还能发现这么多数字！ （指导老师：张敏红）
为了上一节公开课，试上了一节又一节，而每一节课都存在未知的生成过程，详案是备了又备，改了又改，究竟怎样才能灵活、有效的处理课堂中的动态生成，从而达到学习的有效性呢？以下是我的几点体会。 一、做好预设，促进课堂动态生成 在动态生成的课堂，学生成为了课堂的主体，教师把握教学重点，将知识的引导贯穿到整个课堂和教学中，通过老师学生间的交流互动，产生思维的碰撞，课堂随着新思路的变化而变化。课堂动态生成需
<正>现在已不大能见到瓦顶的房子了。在我出生的那个年代,大多的房子都是砖瓦构造,谁家要制备新房,必定先要预备下成垛的瓦片,再找一位手艺声名远扬的师傅,密密地把瓦一层一
语义分析是自然语言理解领域研究的根本性问题,浅层语义分析为此提供了一种新的解决途径.从语义学的角度讨论了浅层语义分析的发展历史和理论基础,概述了语义角色标注任务的