【读书笔记·VLSI电路设计方法解密】问题18：功能验证在集成电路设计过程中的作用是什么
IC设计是通过光刻技术在单片半导体基板上构建微型电子元件（如晶体管、电容、电阻、二极管和电感器）的过程。当这些元件正确互连时，可以形成复杂的电气网络，以实现所需的功能。通常，IC设计分为数字设计和模拟设计两大类。数字设计生成诸如微处理器、存储器和数字逻辑等组件。
在数字设计中，主要关注的是设计的逻辑正确性、密度、速度和功耗。另一方面，模拟设计更关注器件的物理特性，如增益、匹配度、功耗和阻抗。模拟设计通常指的是运算放大器、线性稳压器、锁相环、振荡器和有源滤波器等组件的设计。模拟信号放大和滤波的保真度至关重要。
"功能验证"一词仅指数字设计的验证。模拟设计有其自身的验证方法，且与这里讨论的内容有显著不同。现代IC非常复杂，因此在IC设计过程中广泛使用自动化设计工具，尤其是对大型系统级芯片（SoC）的设计（其本质上是数字化的）。
在数字IC设计的众多方面中，功能验证是一项关键任务。它是一个证明所设计的芯片能够忠实执行生产规范中定义功能的过程。或者从另一个角度来看，它是一个发现设计问题或功能错误的过程，这些错误是在芯片设计过程中无意引入的。功能验证关注的两个问题类型是：
- 设计是否正