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

摘要：

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

关键词： 路由器芯片 功能验证 E语言自动验证 集成电路设计

作者: 高剑刚 姚玉良

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

会议类型: 国内会议

会议名称: 2007年度江苏省计算机学会系统结构专委会学术年会

会议地点: 无锡

会议语种:中文

页码: 117-123

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