论文部分内容阅读
在现代集成电路设计中功能验证已经成为产品开发过程中的瓶颈。在本文中简单介绍了目前国内外集成电路设计中广泛采用的验证技术--基于E语言自动验证,并使用该语言开发了一个互连网络路由器芯片功能验证环境,在这个验证环境中进行了路由器芯片功能验证和覆盖率检查等,大大提高整个验证过程的效率。
基于E语言的高性能路由器验证
【摘 要】
：
在现代集成电路设计中功能验证已经成为产品开发过程中的瓶颈。在本文中简单介绍了目前国内外集成电路设计中广泛采用的验证技术--基于E语言自动验证,并使用该语言开发了一个
【机 构】
：
江南计算技术研究所 无锡 214083
【出 处】
：
2007年度江苏省计算机学会系统结构专委会学术年会
【发表日期】
：
2007年期
其他文献
利用酯交换法制备出一种结构中同时含有亚氨基和氨基的新型超支化聚硅氧烷(HBPSi-NH2),并以其对双马来酰亚胺树脂(BMI)改性得到HBPSi-BMI,通过红外光谱、凝胶时间测试及示差
合成了2,6,2’,6’-四烯丙基双酚A(TABPA),采用傅里叶红外光谱和核磁氢谱表征了TABPA的结构.将其用作二苯甲烷型双马来酰亚胺(BDM)树脂的改性剂,并将改性树脂体系制成浇铸体,
通过溶剂法合成了三种新型脂环族酰亚胺官能化苯并恶嗪单体p HTI-a、pHHI-a和pMHI-a.通过核磁共振氢谱(1H-NMR)、碳谱(13C-NMR)以及傅里叶变换红外光谱(FT-IR)确定了这三种恶
采用石墨烯(GNPs)改性氰酸酯树脂,通过流变性能、热导率、电导率及力学性能测试研究了石墨烯添加量对氰酸酯树脂复合材料性能的影响.结果 表明:树脂的粘度随GNPs用量的增加快
以核桃粕(WD)作为添加剂与三聚氰胺脲醛树脂(MUF)共缩聚反应合成改性三聚氰胺脲醛树脂(WDMUF)并将其用于胶合板.通过对树脂的粘度、固体含量、游离甲醛含量和凝胶时间测定以
解放前,上海“大世界”游乐场中有个最大的场子叫乾坤大剧场,这是“大京班”的演出场所。“大京班”是“大世界”里的“硬牌子”,机关布景、连台本戏,吸引着无数的游客。这
在以水为发泡剂的聚氨酯发泡体系中加入表面接枝改性的多层石墨烯(MWNGPs),通过对泡沫材料的泡孔结构和压缩性能的测试研究了不同表面改性的MWNGPs及其用量对聚氨酯泡沫材料
本文介绍了Simplescalar、SimOS等几种比较成熟的具有代表性的CPU模拟器，分析了其基本结构框架，指出了优缺点，并简要总结了模拟器发展中值得关注的问题，包括模拟器实现的模块化、
随着高性能计算的发展，并行计算机系统的规模不断扩大，内部互连网络能否提供高带宽、低延迟、高吞吐量的通信越来越成为影响系统整体性能的重要因素。本文介绍了一种跨系统平台
会议