论文部分内容阅读
新兴的设计和验证技术虽然已经对减少当今复杂芯片设计项目中验证环节的工作量发挥了重要的作用,但验证瓶颈仍然阻碍着技术发展.
可验证性设计方法大幅提升设计品质和验证效率
【摘 要】
：
新兴的设计和验证技术虽然已经对减少当今复杂芯片设计项目中验证环节的工作量发挥了重要的作用,但验证瓶颈仍然阻碍着技术发展.
【机 构】
：
Synopsys公司
【出 处】
：
电子设计应用
【发表日期】
：
2003年10期
其他文献
“农超对接”是国外普遍采用的农产品生产销售模式，近年来随着商务部的倡导，在我国也逐渐发展起来。作为一种新型农产品流通方式，“农超对接”能够将“小生产”与“大市场”对接
H7N9型禽流感是一种新型禽流感,于2013年3月底在上海和安徽两地率先发现。H7N9型禽流感是全球首次发现的新亚型流感病毒,至2013年4月初尚未有疫苗推出。被该病毒感染均在早期
弃黛抛红,锤镰旗下,习铁马金戈。女儿叱咤,声撼三楚山河。霜矛雪刃冤铸,指夏逆,剿灭鼋鼍。功未竟,大江重锁,岁月蹉跎。 饮兰餐菊,终非也!仰英雄姊妹,托体山阿。当年紫燕,而今尔又如何?但见夕照青山色,凭西湖红绿婆娑。千古事,白发欺人,何须把酒问嫦娥。 这首《高阳台·重游西湖分院武汉军校旧址》系原黄埔军校武汉分校女生队学员史明恕老人所作,这也是国共合作时期黄埔军校武汉分校女生队发展历程的诗意写照。
湖泊观赏旅游是旅游业的一大特色,合理利用湖泊资源可以带动当地的经济发展,提高湖泊的知名度,引起人们的关注,提高民众的环保意识.对于湖泊旅游资源的利用主要表现在观光旅
以TI公司TMS320C32为例,探讨了如何开发DSP自动控制装置通信程序,包括DSP和PC之间的异步串行通信、DSP与模拟接口芯片(AIC)的同步串口通信以及DSP之间的同步串行通信,并列出
液态高能压裂技术是利用高能量液态药剂在井底迅速爆燃，产生近１００ Ｍ Ｐａ 压力和２ ５００ ℃高温的高速气流，使井壁地层产生多条径向裂缝，改善油层渗流能力，解决低渗透油层和高含水油层堵塞，提高
气－ 汽发生器装置是一种新型热采设备，该装置产生的气－ 汽混合物主要成分为 Ｎ２ 、 Ｃ Ｏ２ 及水蒸汽。设备具有的能力：产生压力１６ Ｍ Ｐａ ，温度２５０ ℃～３００ ℃。利用该设备在曙光油田杜６６ 块中质稠油油藏进
中国是世界上主要的天然药物大国，有着丰富的中药材资源，这为我国中药产业的发展和中药国际贸易的发展奠定了坚实的基础。中药是我国非常传统的出口商品，具有悠久的历史。据记载
2005年底,硬盘供应业界传出一则重要的产业消息--希捷(Seagete)收购迈拓(Maxtor),终于在今年的5月22日完成所有收购程序,从而揭开新的一页.希捷科技中国区总经理杨建初表示,