论文部分内容阅读
给出了利用测试向量进行评估的基本理论方法，以及强对应集和弱对应集的定义及推论。按该方法，依不同模型生成测试向量，然后进行相互间的覆盖计算，以比较模型的优劣。最后对ITC99-benchmark电路进行实验，结果表明该方法是有效的。
集成电路高层故障模型评估方法
【摘 要】
：
给出了利用测试向量进行评估的基本理论方法，以及强对应集和弱对应集的定义及推论。按该方法，依不同模型生成测试向量，然后进行相互间的覆盖计算，以比较模型的优劣。最后对ITC99-
【机 构】
：
中国科学院计算技术研究所,中国科学院研究生院
【出 处】
：
计算机工程
【发表日期】
：
2006年4期
其他文献
初秋。似乎夏日的炎炎还在空气中留有淡淡的痕迹。一个午后，顶着烈日穿梭在干燥的空气中，在踏进钟云武术空间的一霎那，所有的烦躁心情都被抚平，似乎叫嚣的毛孔都在一瞬间缄默。这个空间就像一个在水泥城市中的居士，也许在旁人眼中有些格格不入，却让更多人心神向往。 拉一下大门口的绳索，静耳聆听屋里钟声的响起，不一会儿就有一个安安静静的大男孩来开门。 从外边看，钟云武术空间只是一间高大的砖房，走近后却别有洞天
Ralph Parks又一次将脚步迈进中国时，此刻他已不再是摩根大通亚太区主席兼行政总裁，他的新身份是橡树资本管理有限公司（以下简称“橡树资本”）亚太区主席。又一家PE进入中国了，又一名投行老将转身PE了。 在中国市场，Ralph Parks的中文名字白瑞甫更为人们熟悉，他的投行生涯已经达到35年，为摩根大通在亚洲的发展立下无数战功.过去白瑞甫的投行身份主要工作是如何帮助客户卖出企业和股票，而现
讨论了支持网络融合和网络开放的软交换系统的特点，提出了一个层次化的软交换体系结构，包括协议适配予系统、呼叫控制子系统、业务适配子系统和OAM子系统。分析了层次化的呼叫
针对智能多代理系统的服务质量难以优化的问题,提出了一种基于信息网格的闭环优化方法,获得给定智能多代理系统服务质量的最佳优化结果.仿真应用结果显示,基于此优化方法的智
深圳创新资本董事长 靳海涛 近几年来，中国VC行业的发展有目共睹，项目数量和投资金额屡创新高，未来中国VC行业的发展有九个新动向。 第一个动向，中国的创投行业将迎来黄金十年。因为现在中外的经济学家、风险投资家有一个预言，中国将在十年到十三年之后，成为世界上第二大经济体。这十年时间将是中国经济崛起的十年，也必将是创投行业的黄金十年。 第二个动向，IPO项目的投资机会将大增，这是因为经济的增
目的:观察颈椎后路单开门联合前路椎间盘摘除术在椎管狭窄伴椎间盘脱出方面的治疗效果。方法:随机抽取我院2013年11月~2014年5月入院接受治疗的60例椎管狭窄伴椎间盘脱出的患