【摘 要】
：
超深亚微米工艺下,线间串扰是导致电路故障的主要原因之一.尽管可能导致故障的线间串扰的数量巨大,但真正会引起故障的线间串扰却相对较少.因此,如果能在对电路验证或测试前
【机 构】
：
中国科学院计算技术研究所信息网络实验室,中国科学院计算技术研究所信息网络实验室
论文部分内容阅读
超深亚微米工艺下,线间串扰是导致电路故障的主要原因之一.尽管可能导致故障的线间串扰的数量巨大,但真正会引起故障的线间串扰却相对较少.因此,如果能在对电路验证或测试前进行静态定时分析,找出那些导致电路故障的线间串扰,则可以有效提高测试生成效率,并降低测试成本.基于此目的,文章在静态定时分析中引入对线间串扰现象的分析,在线时延模型的基础上使用重叠跳变对故障模型,只需要求出与最长通路的重叠跳变对即可.在对ISCAS'89基准电路的实验中,各电路需要测试的串扰数平均减少至10%以下.相对于已发表的实验结果
其他文献
本文提出了相干命题逻辑系统R的一种演绎生成算法——试探法。该算法采用后向推理法，依据推理规则将待证命题逐步分解成子命题并构造一棵证明树，对系统R中的定理证明取得了较好
从2018年1月1日开始,《企业会计准则第1号—收入》(新收入准则)正式实施。新收入准则在收入确认方式、核算方法、会计科目、收入时点确认等方面做出了新的规定,给建筑施工企
<正>所谓从小处着手,是指在学生的学习生活环境中,从小处入手来体现核心价值观培育大主题。这些小处是学生日常见的、身边的,有的是不经意的,很容易令人熟视无睹或不屑一顾,
一般情况下,企业会采用货币的形式为企业的员工发放薪酬,会计部门就会按照支付的货币数额来记录相关费用。另外,有些时候,企业也会采用非货币性形式为职工发放薪酬。本文结合
随着经济的迅速发展,企业竞争越来越激烈,越来越多的企业为了在竞争中取得优胜权,更加注重对企业的管理尤其是对企业的监督的方面的内容。公司部门中存在的会计以及内部审计
如今,关联规则技术应用在许多非传统领域,许多已有的频繁项集搜索方法已经不适用了。一种解决的方法就是用图的形式表示这些领域的事务,然后利用基于图论的数据挖掘技术发现
本文充分利用P2P技术具有多客户机资源的优势，克服其具有不稳定性和波动性的不足；针对直播业务，提出两种P2P结构模型，在发行商、运营商和用户之间构架可靠的P2P模型；提出了一种新
本文根据数学形态学理论,提出了一种快速运动物体检测的新方法.与帧间变化检测法相比,新方法不仅能检测出静止背景下的运动物体,而且还能检测出复杂背景下的快速运动物体,并
高职数学是高职高专必开的一门公共基础课。在信息化技术飞速发展的背景下,蓝墨云班课信息技术进入高职数学课堂,使高职数学的教学模式不断更新,给高职数学教学带来很多益处,
经济作为一个整体在发展过程中,各部门之间存在着密切而又广泛的联系,一个部门在生产过程中出现变动,都会通过产业间的相关关系波及其他行业,从而引起整个国民经济的变化。本