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

摘要

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