【摘 要】
：
虽然目前的IC设计持续以惊人的速度复杂化,但设计者仍然希望可以通过先进的验证工作提高工作效率.所谓的先进验证工作便是将测试平台自动化(Test-Bench Automation)和正式属
论文部分内容阅读
虽然目前的IC设计持续以惊人的速度复杂化,但设计者仍然希望可以通过先进的验证工作提高工作效率.所谓的先进验证工作便是将测试平台自动化(Test-Bench Automation)和正式属性检测(Formal Property Checking)两功能添加到功能验证(Functional Verification)的流程之中.本文将主要探讨其中的基本概念、价值以及使用方法,进而帮助读者了解.
其他文献
在国家政策大力鼓舞以及产业环境日益成熟的条件下,国内半导体业开始转向自主设计与研发。IC Insjghts 报告便指出,2005年中国将成为全球最大的地区性半导体市场。这不仅预示
艾丽丝·默多克(1919-1999)是英国当代小说家、哲学家。她一生创作颇丰,发表了二十六部小说、六个剧本、五部哲学著作、二部诗集及许多文学批评文章。她的作品以深刻的思想内
拉尔夫·埃里森(1914-1994)是二战后最重要的美国黑人作家之一。他的声誉来自于他的代表作《看不见的人》(1952)。小说一经发表，便受到同时代许多黑人作家的批判，被指缺乏“反
初识野云松先生的书法,是在肖杰老先生家里读到《野云松书法集》,其字态遒劲老辣,结体疏密得宜,灵动鲜活而不离法度。及至后来,机缘成熟,和肖老的女儿肖燕女士一起拜访了野云
请下载后查看，本文暂不支持在线获取查看简介。
Please download to view, this article does not support online access to view profile.
请下载后查看，本文暂不支持在线获取查看简介。
Please download to view, this article does not support online access to view profile.
中国台湾地区半导体产业历经20多年发展,已创立起完整的专业分工体系,从 IC 设计、掩模、制造、封装到测试,产业链结构相当完整,发展日益蓬勃。但长期以来,集成技术始终不及
医患话语研究从七十年代开始首先在国外兴起，九十年代以来很多中国学者也积极从事医患话语研究，成果斐然。医患话语研究不仅增加了话语研究对象的多样性，还加深了我们对话语的理
请下载后查看，本文暂不支持在线获取查看简介。
Please download to view, this article does not support online access to view profile.
古来“凿壁偷光”“萤囊夜读”故事,不会发生在海南。不是海南没有励志学子,而是因为有它——海棠油。照亮千年夜空您知道吗?有一种油灯照亮了海南的夜空至少500年,半个世纪