【摘 要】
：
介绍了两种SRAM的设计验证方法:1.用PERL编写的应用程序按设计要求自动生成仿真测试文件完成全芯片功能/时序分析.2.形式验证的方法的应用--Synopsys公司先进的EDA软件ESP-CV
论文部分内容阅读
介绍了两种SRAM的设计验证方法:1.用PERL编写的应用程序按设计要求自动生成仿真测试文件完成全芯片功能/时序分析.2.形式验证的方法的应用--Synopsys公司先进的EDA软件ESP-CV来实现对较大容量的SRAM的功能验证.文章在简述两种方法的基础上,用具体实例详细描述了两种方法在电路仿真测试中的应用,并给出了电路的部分测试文件及仿真结果,进一步论述了该方法的可行性及实用性.
其他文献
扼要介绍了类太阳恒星星冕Ｘ 射线辐射的研究历史。综述了Ｘ 射线辐射与恒星参量的关系。并对星冕的加热机制作了介绍。类太阳恒星的Ｘ 射线辐射与表面磁场有关， 因此测定晚型星表面
<正>在《决定》的修改完成之后,政府的信息发布及时性、招标成本的下降比率、政府对公开招标工作的管理效率等都出现了较大的发展空间,实现了计划招投标、绿色招投标、数字化
"类"是与"人"字相提并论的另一个词,合称"人类",这一合称深刻而充分地揭示了人的本性,即人的"类本性"。人是"类存在物",人具有"类本质"、"类意识",人要过"类生活"、要"类化"
通过采用蒙特卡洛模拟技术进行项目风险概率分析的工程实例,进行深入研究与推导,得出在净现值准则下不进行抽样模拟直接近似求解项目可行的概率的快速计算方法,经过深入验证
本文讨论1患者食道癌病例摘要,从检查情况入手,结合临床以及相关理论,进行治疗方案的讨论,并提出具体措施。
社区学校是社区教育的载体,专职教师是社区学校师资队伍中的核心部分和中坚力量,对其进行专业化建设,符合时代发展的诉求,加快提升社区居民的整体素质,有利于推进社区教育的
目的 研究脑转移瘤磁共振灌注成像的表现特点。方法 对 2 0例脑转移瘤患者进行磁共振灌注成像和常规增强扫描 ,以FUNCTOOL作后处理生成rCBV伪彩图 ,测量转移灶的直径和中心
目的分析讨论艾条灸对肛肠疾病术后尿潴留的治疗效果。方法 2014年10月至2015年10月期间,本院接受肛肠疾病术后尿潴留患者96例,随机分为两组,对照组48例接受传统疗法,试验组4
目的探讨高频电刀在烤瓷冠以及铸造全冠修复临床中的临床效果及应用价值。方法选择我院门诊接受烤瓷冠和铸造全冠修复应用高频电刀患者30例,根据患者情况在基牙牙体预备前或
遥控式立木整枝机是一种抱在树干上,通过无线遥控来实现自动整枝作业的便携式机械。整枝机在绕树干螺旋上升的过程中利用链锯进行整枝。本文首先介绍了遥控式立木整枝机的工