IC设计- 浅谈各种验证 - 功能验证，形式验证，原型验证

浅谈逻辑仿真，形式验证及硬件仿真

随着硬件设计复杂性的不断增加，为了能够最大程度的使得验证收敛，验证方法也越来越多，今天我们针对常见的几种验证方法做一些简单的分析，指出它们的常用应用环境以及一些优缺点，主要包含：逻辑仿真，形式验证，硬件仿真。

一、逻辑仿真（功能验证）- UVM相关

从我们整个芯片的验证过程来讲，基于软件的逻辑仿真在验证中仍然起着举足轻重的作用，整个项目中的功能验证都是通过逻辑仿真来进行验证，下面我们就逻辑仿真的优缺点进行一个简单的阐述：

• 优点：

  • 逻辑仿真的工具可以在标准的服务器上运行，不需要为它定制特定的服务器，减少了验证成本

  • 在模块级别的功能验证上，逻辑仿真工具的编译速度和仿真速度很快，这在一定程度上会加快我们整体项目的验证速度

  • 工程师对逻辑仿真验证过程的进行有很好的控制，可以随时暂停或者中断验证工具的运行，还可以以用户友好的GUI模式来进行debug，提高了debug的效率

  • 验证环境的方便性，由于是基于软件仿真，我们的验证环境可以进入到DUT的任何一个需要被验证的地方，在特定时刻产生足够精确的数据包，进行仿真验证

• 缺点：

  • 对于逻辑仿真，上面的很多优点让它在我们的验证过程中充当着主力角色，但是它有一个很大的缺点，那就是性能，尤其是当我们的设计文件比较大时，逻辑仿真速度会变得很慢，这让我们的验证速度