基于E语言的高性能路由器验证

摘要：

在现代集成电路设计中功能验证已经成为产品开发过程中的瓶颈。在本文中简单介绍了目前国内外集成电路设计中广泛采用的验证技术--基于E语言自动验证,并使用该语言开发了一个互连网络路由器芯片功能验证环境,在这个验证环境中进行了路由器芯片功能验证和覆盖率检查等,大大提高整个验证过程的效率。

关键词： 路由器 功能验证 E语言 覆盖率检查

作者: 高剑刚 姚玉良

作者单位: 江南计算技术研究所 无锡 214083

会议类型: 国内会议

会议名称: 2007年全国高性能计算学术年会

会议地点: 深圳

会议语种:中文

页码: 468-472

在线出版日期: 2007-10-26（万方平台首次上网日期，不代表论文的发表时间）