模块/IP核级验证
模块/IP核级验证任何SoC设计均由一系列模块组成。模块可能是自己开发，也可能是重用第三方的IP核。不论哪种情况，在系统集成前做IP核验证工作是必需的。模块/IP核级软性检查(Link Checking)主要检查代码语法、可综合性、变量未初始化、结构化可支持性和端口失配性等; 规范模型检查主要做设计特征遗漏性检查，以在早期发现错误状况。对控制流设计验证效果明显，通过设计文档非正式说明、与设计者非正式沟通等途径抽取特征疑问，逐一验证，消除缺陷。
功能验证主要利用基准测试向量基于事件或基于时钟进行功能验证，如黑盒测试、白盒测试和灰盒测试等; 协议检查主要验证是否违犯总线协议或模块互连约定，按照协议逐一检查并比较结果; 直接随机测试通过随机产生数据、地址、控制等信号检查功能正确性，减少模拟仿真工作量; 代码覆盖率分析主要根据模拟仿真时统计代码被执行数，可以按陈述句、信号拴（Toggle）、状态机、可达状态、可触态、条件分支、通路和信号等进行统计分析，以提高设计可信度。
页:
[1]
