【摘 要】
：
本文介绍高速硬件定时验证系统[8]的重要部分——动态定时验证程序(HHTVS,d)。它采用六值模拟的方法建立带延迟的模拟模型,可区分信号的上升跳变、下降跳变对延迟的情响。HHT
【机 构】
：
江西南昌陆军学院,国防科技大学计算机研究所
论文部分内容阅读
本文介绍高速硬件定时验证系统[8]的重要部分——动态定时验证程序(HHTVS,d)。它采用六值模拟的方法建立带延迟的模拟模型,可区分信号的上升跳变、下降跳变对延迟的情响。HHTVS_d接收静态分析器(HHTVS_s)分析得出的关键长、短路径集,用S-C输入激励方法动态模拟,重新计算路径集,可去除伪路径,因此它能较精确地报告关键卡、短路径,检查建立/保持、最小脉宽错,给出一定测试向量下的内部各点输出波形。
其他文献
在决策支持系统(DSS)的设计与实现中,如何把专家系统(ES)技术结合到DSS 中是一个关键问题。本文介绍了我们设计并实现的一个智能DSS 生成器:KD.1。重点讨论了KD.1中ES 与DSS
由中国医师协会心血管外科医师分会与《中国微创外科杂志》联合主办,上海远大心胸医院承办的＂第三届国际胸腔镜外科技术研讨会＂暨＂中韩微创心脏外科论坛＂将于2011年12月9～11日在上
2015年以来，我院公诉部门积极转变观念，主动适应以审判为中心的诉讼制度改革，进一步强化公诉职能作用，提升公诉工作水平，在维护司法公平正义上起到了积极作用。$$一、在履行公诉职
本期推荐配置栏目的主题是4500元学生电脑，顾名思义这是一款专为预算不多的学生所选择的配置单，由于绝大多数学生通常用电脑上网、制图、演算、玩游戏和看电影，而且部分学生朋友
在这个现实社会中，有钱不一定万能，但没钱是万万不能的，游戏里也是如此。我们不能像那些RMB玩家疯狂砸装备，疯狂扔钱，但对于一个普通玩家来说，适当地花一点点钱大多是可以承受的，一点点的投入，往往换来了更多的游戏乐趣，想来也是值得的。而如今，《成吉思汗》为了让这大部分的非RMB玩家和RMB玩家的差距缩小，为了让非RMB玩家也享受到高级道具的乐趣，特地开辟了新的福利措施——贵宾商城，让玩家们都享受到VI
对象管理集团公司是一个致力于解决分布式环境中互操作问题的非盈利性协作组织，它遵循一个新的技术途径，即对象技术，产生了公认的基于可商用对象技术的事实标准。它的一套面向对
本文首先介绍了国内外计算机电源系统监控器的发展现状;然后着重介绍了最近刚设计完成并投入使用的PSM-2电源系统监控器;最后就电源系统监控器的发展方向进行了探讨。
无论是瓷雕还是瓷画，我都喜以女性为题材。去刻画和表现这些青春、靓丽、鲜活的精灵们在日常生活间的一频一笑，瞬间的喜怒哀乐。自己其实是一个慵懒、懈怠的小女人。没长大的时
班级管理工作既是学校管理工作的具体体现,也是当前高中阶段班主任的核心工作内容,对于高中学生而言意义同样非常重大。为此,高中班主任教师需要在班级管理工作价值、背景方
面向对象技术是一种引人注目的新兴程序设计技术，它最早兴起于八十年代。现在，应用面向对象技术开发设计的软件系统，已经在计算机领域得到了广泛的应用。本文主要阐述了面向对象