E_language在模块级功能验证中的应用.pdfVIP

维普资讯 总第 169期 高 性 能 计 算 技 术 Sum No．169 2004年 08月 HishPerformanceComputingTechnology Aug．2004 E language在模块级功能验证 中的应用★ — 刘 君 (江南计算技术研究所 无锡 214083) 摘 要 随着SoC运算能力和控制复杂程度的飞速发展 ，功能验证已经成为整个设计过程 中 的主要瓶颈 ，为此，新的验证方法学和验证技术在不断发展 以突破这种限制。本文介绍 了一 种基于高级验证语 言E—language的验证技术，以及这项新技术在 SoC的RTL级模块验证 中 的具体 应 用。