论文部分内容阅读
本课题研究的对象就是SoC中功能验证。首先,介绍验证方法学和技术的演变史,分析它们的优缺点;接着,介绍Verisity公司提出的基于SpecmanElite的验证平台和它的支撑验证语言——E;然后，以GarfieldⅢ系统芯片为例子介绍怎样用E语言搭建验证环境和使用以覆盖率驱动的验证技术。最后,分析实验结果并提出SoC功能验证中别的需要研究的课题。