本文详细介绍了SoC功能验证的过程，包括验证概述、系统级验证、仿真自动化和基于断言的验证。强调了功能验证的重要性，特别是在设计阶段确保逻辑设计的正确性。随着SoC复杂性的增加，验证方法如行为级验证、性能验证和协议验证变得至关重要。文中还探讨了激励生成、响应检查、覆盖率检测和形式验证，以及如何利用断言提高验证的可控性和可观测性。
随着设计的进行，越接近最后的产品，修正一个设计缺陷的成本就会越高。
1.功能验证概述
在IC设计与制造领域，通常所说的验证（Verification）和测试（Test）是两种不同的事
验证
- 在设计过程中确认所设计的正确性
- 通过软件仿真、硬件模拟和形式验证等方法进行
- 在流片之前要做的。
测试
- 检测芯片是否存在制造或封装过程中产生的缺陷。
- 采用测试设备进行检查
功能验证
功能验证一般是指设计者通过各种方法比较设计完成的电路和设计文档规定的功能是否一致，保证逻辑设计的正确性。
通常不包括面积、功耗等硬件实现的性能检测。
SoC功能验证的挑战
- 系统复杂性提高增加验证难度
- 设计层次提高增加了验证工作量
发展趋势
2.功能验证方法与验证规划
仿真为基本出发点的功能验证方法
功能验证开发流程制订验证计划
- 功能验证需求
- 激励产生策略
- 结果检测策略
验证开发
提高验证的效率
功能验证开发流程
更多SoC功能验证的知识查看IC修真院
最低0.47元/天 解锁文章
6134
被折叠的 条评论
为什么被折叠?
到【灌水乐园】发言
