【摘 要】
：
现代数字集成电路技术的飞速发展,对计算机辅助测试提出了更多更高的要求,可满足性方法(SAT-Satisfiability)作为一种有效的完备测试生成方法,近年来在集成电路测试领域引起
论文部分内容阅读
现代数字集成电路技术的飞速发展,对计算机辅助测试提出了更多更高的要求,可满足性方法(SAT-Satisfiability)作为一种有效的完备测试生成方法,近年来在集成电路测试领域引起广泛的研究兴趣,并取得一些成功的应用.该文研究了组合逻辑电路测试向量自动生成的可满足性方法,主要进行了可满足性的测试生成原理、实现算法、性能提高和测试向量的最大压缩等方面的研究,改进了一种有效的测试生成搜索算法SAT-ATPG,提出了隐含多路敏化的故障效应单路定向传播方法SOPCA、控制输入跟踪算法CIT和测试衍生算法TD,取得了较显著的效果.
其他文献
在五虎雄踞、三狮对峙之下的闽侯东南方向,青潭、安民、梅溪三条溪流汇涌出潺潺淘江.雄山灵水之中,群山环抱,茂林修竹,簇拥起一方自古故事繁多的青口镇.境内的西台村,田园阡
长汀有着悠久的历史,从唐代至清代一直都是州郡路府的所在地,县城得益于汀江航运的发展,使之成为闽粤赣三省物资集散的中心,物产丰富,经济繁荣.在第二次国内革命战争时期,长
该文利用辛几何的高频近似法(Maslov 方法)来求解非均匀焦散区的场值,并取得了 较好的结果.该文主要包括如下三方面的工作:一、介绍了利用辛几何高频近似方法求解电磁波在非
塔里木河是我国最大的内陆河，是南疆经济社会发展的重要水源。阿克苏河是天山南坡径流量最大的河流，是塔里木河流域4条源流中补给塔里木河水量最大的河流。随着人口不断增加和
akt2是一个癌基因，它在卵巢癌和胰腺癌中高度扩增，编码一个丝氨酸/苏氨酸蛋白激酶。许多生长因子及胰岛素可以通过磷脂酰肌醇-3-激酶(PI3K)激活Akt2，而Akt2本身参与了细胞存活、
今年是新中国成立70周年,也是厦门解放70周年的日子.为纪念这一重要时刻,福建省革命历史纪念馆文物工作者特地从馆藏文物中挑选出一件珍贵的文物——老同志黄滕爽在厦门解放
激光冷却与囚禁是玻色-爱因斯坦凝聚和费米量子简并气体实验中的重要技术之一，而激光冷却、囚禁和操控原子的理论与实验研究使得激光科学、量子光学和冷原子物理学发生了历史
选取葡萄属不同类群及其杂交后代的21个品种，通过种子发育物候、种子形态、种皮透水性、种胚外围组织机械阻碍、离体胚萌发及外源激素的作用、种子萌发抑制物、层积解除休眠的
在由核酸多态性引起疾病的诊断和治疗中，多重突变检测技术显的越来越重要。目前的多重基因突变分析主要是基于多重PCR技术和多重连接酶检测技术。可是一旦扩增片段的数量，或者
福建省建瓯市凤凰山麓产出的茶叶史称建茶,此茶色香味俱佳,实乃茶之上品,自北宋起,就成为皇家贡品名扬天下.古之建阳还出产一种叫建盏的茶具,是宋代八大名瓷之一,用建盏品尝