An Analytical Delay Model

来源 :计算机科学技术学报(英文版) | 被引量 : 0次 | 上传用户:metor2009
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
Delay consideration has been a majorissue in design and test of high performance digital circuits. Theassumption of input signal change occurring only when all internal nodesare stable restricts the increase of clock frequency. It is no longertrue for wave pipelining circuits. However, previous logical delaymodels are based on the assumption. In addition, the stable time of arobust delay test generally depends on the longest sensitizable pathdelay. Thus, a new delay model is desirable. This paper explores thenecessity first. Then, Boolean process to analytically describe thelogical and timing behavior of a digital circuit is reviewed. Theconcept of sensitization is redefined precisely in this paper. Based onthe new concept of sensitization, an analytical delay model isintroduced. As a result, many untestable delay faults under thelogical delay model can be tested if the output waveforms can be sampledat more time points. The longest sensitizable path length is computedfor circuit design and delay test.
其他文献
Mean Value Calculus (MVC)[1] is a real-time logicwhich can be used to specify and verify real-time systems[2]. As aconservative extension of Duration Calculus (
通过对商品混凝土搅拌站的工艺流程和信息流的分析,挖掘影响混凝土质量和搅拌站管理的一些重要环节,在计算机技术的支持下对混凝土生产控制和技术管理进行了综合研究,并开发出一
目的探讨肝病患者干眼症治疗的护理效果。方法收集2011年1-5月就诊于我院眼科中心并经该院肝病专科医师确诊的肝病患者的干眼症患者,在治疗过程中进行一般护理、用药护理、饮
目的研究探讨LEEP刀联合壳聚糖宫颈抗菌膜治疗慢性宫颈炎的临床与护理效果。方法将180例慢性宫颈炎患者分为随机A组用壳聚糖宫颈抗菌膜治疗、常规护理;B组用LEEP刀联合壳聚糖
In common sense reasoning two typical types of defaultsare encountered. One is of the form "All birds can fly except b1,b2,..., and bm (m1)", and the other "All
讨论了超声波测量管道内流体流量的时差法及其性能的改进方法.采用时差相差转换提高时间的测量精度,而用设置测量窗口、脉冲宽度鉴别及双门限相位测量等方法,有效地提高了系统的
探讨近3年我院在学科建设、技术水平、科研项目、科研获奖、科研论文和继续医学教育各方面取得的成效。
百姓放心示范医院建设提出了“两个提高”(提高医疗质量、提高全员素质)的要求,而医疗质量的提高,归根到底要依赖于职工素质的提高。因此,加强职工培训教育,不断提高职工素质
This paper proposes a new approach to modeling multimedia data. The newapproach is the multimedia data model based on temporal logic and XYZSystem. It supports
在感应电机间接磁场定向的矢量控制系统中,转子时间常数的变化严重影响着系统的各项性能.为此,提出了一种新的转子参数辨识方法,并采用神经网络来实现.仿真结果证明它能很好