感觉最近验证的出镜率很高呀！

目前为止动态仿真不可或缺，功能覆盖也是最有效的检查手段之一。
验证只是设计流程中的一环，很多设计中的问题靠验证是发现不了的。和模拟电路不一样，数字电路必须靠流程来保证正确性而不是工程师的经验。以前一个项目流片之前要做逻辑eco，负责的工程师有十几年的经验，只大概仿了一下，没做lec检查，流片回来才发现做错了。

赞同老兄
验证还会细分
ARTL 层验证
1 IP 级别
2 子系统级别
3 toplevel 级别
B Gate-level 层验证
全是topleve 的+SDF 门级仿真-> 检查时序
C 流片以后支持平台测试和模块测试部门，验证他们找到的BUG

后仿是标准作业流程，用以发现STA的不足，对大芯片，必须的。atpg也要后仿