Renesas集成Mentor的0-In断言综合用于断言验证流

来源 :中国集成电路 | 被引量 : 0次 | 上传用户:bpsend
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
Mentor Graphics公司近日宣布与Renesas科技公司完成一项联合开发工作,使Mentor Graphics 0-In断言综合技术以及基于断言的验证流与Renesas公司LogicBench快速原型系统实现集成。作为合作成果,Renesas公司自此能够采用任何格式对断言做出规定,并将其用于从基于C语言的系统设计直至FPGA原型确定的整个验证过程中。
其他文献
50年来,世界军用、商用和民用卫星技术发展均取得巨大进展。以商用通信卫星为例,过去13年随着卫星技术的进步,按每兆赫带宽为单位的转发器租赁费实际下降了80%;每颗卫星安装转发器
为贯彻国家发改委、国防科技工业局(原国防科工委)《关于促进卫星应用产业发展的若干意见》精神,促进卫星导航企业发展与交流,加强自主创新、推动我国导航定位产业规范进程,2008年
经济自由区的发展经济自由区是指人们在一个国家内划定的一块享有特殊地位的地理上的飞地.这种'特殊地位'的内容包括全部和部分免收进口税和特种经营免税期,以及放宽
一段时期来,德意志联邦银行一直面临着原则性的挑战,这表现为至少暂时从主要以货币量为目标的政策后退了.现在又强调货币政策中自由处置的必要性,主要是国际环境变化的结果。
一、问题的提出在工业国家里,农业部门在整个经济中的作用很小。而对发展中国家的国民经济来说,农业则起着决定性的作用。表1的数字清楚地表明了这一点。
随着单片机的日益普及,其应用系统的设计越来越广泛地受到重视.单片机的应用系统设计,一般来说包括硬件设计(Hardware)、软件设计(Firmware)、系统整合优化(System)等.对多任
本文介绍苏州市集成电路产业概况,分析产业优势,正视产业弱势,阐释发展思路和对策,研究IC人才培养的四种模式。
本文对目前已有的直流系统接地点探测方法进行了评述.并且介绍了采用现代微电子技术与低频信号寻迹原理研制成功的ZDT-901型直流接地探测仪.该仪器已在许多单位使用,效果良好
现代电力生产过程中需要大量测量和记录温度、压力及流量等参数.温度巡测装置用于监测并记录温度参数.徐州发电厂原来使用JXC、SRX和SXB系列温度巡测装置对机组的温度进行监
本文以一种低噪声放大器为例,着重分析了电路的热噪声特性,结合理论分析计算了低噪声放大器的热噪声,利用HSPICE仿真软件对电路的热噪声进行仿真,与理论计算所得的热噪声比较。按