IC设计复杂化加剧:先进验证方式重要性倍增

来源 :电子测试 | 被引量 : 0次 | 上传用户:zhang514409411
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
虽然目前的IC设计持续以惊人的速度复杂化,但设计者仍然希望可以通过先进的验证工作提高工作效率.所谓的先进验证工作便是将测试平台自动化(Test-Bench Automation)和正式属性检测(Formal Property Checking)两功能添加到功能验证(Functional Verification)的流程之中.本文将主要探讨其中的基本概念、价值以及使用方法,进而帮助读者了解.
其他文献
孤立性肺结节(SPN)是指直径小于3cm、完全被肺包裹、一般与肺间质疾病和淋巴结病变无关的肺内结节.临床常见,诊断治疗棘手.本院1997年8月至2001年12月对24例SPN实施电视胸腔
<正> 苏协粳是江苏农学院和江苏省农林厅从日本引进,经选繁而成的中粳新品种,1987年春经审定后定名。1985~1987年我们安排了密度和肥料试验,并
<正> 水稻生产中常因暴雨而诱发渍涝灾害。湘北澧县从1980~1982年的3年中,有2年发生了大的渍水害。1980年5月31至8月25日的87天中,就出现6次暴雨而造成6次大的渍水害,每次淹渍
下肢深静脉血栓(DVT)形成临床上较多见,现对我院1998年2月~2002年11月骨科及妇产科住院检查并经手术或X线静脉造影证实的29例DVT患者的二维超声(2DUS)及彩色多普勒血流显像(CD
去年8月召开的全省经济结构调整会议,作出了把我省建设成为新型能源和工业基地的重大战略决策.这一重大决策在全省各界产生了广泛的影响,引起了社会各界的关注和讨论.在笔者
急性肾功能衰竭(ARF)是临床较常遇到的危重病,为探讨其病因、并发症及影响预后的因素,提高防治水平,现将本院1999年2月~2002年5月收治的43例ARF分析如下.
后尿道瓣膜病是男性患儿下尿路梗阻中最常见的疾病,我院1996年~1999年收治了7例后尿道瓣膜病,报告如下.
汉语中有一种独特的现象,紧密结合在一起的四个字,存在着并列的语法关系,我们称之为并列四字格。并列四字格这种独特的格式,包含着深刻的文化意义。它反映出汉民族的认知特点、对
屯留县委以邓小平理论和“三个代表”重要思想为指导,全面落实科学发展观,按照省委提出的“两年”活动要求,从凝聚党心、振奋民心的角度转变作风,以科学发展、超前发展的战略抓落
<正> 本文根据主栽品种川73-27在省区域试验中,作为标准种的表现,并依据四川自然生态气候特点,对四川棉花新品种选育谈几点看法。更多还原