EDA 验证工具链

占位文档。本篇计划梳理：

• 仿真器：事件驱动 vs 周期仿真，编译型（Verilator）与解释型（VCS/Questa）差异与速度对比
• 验证方法学：Testbench、SVA 断言、覆盖率驱动验证（CDV）、UVM 组件框架
• 形式验证：等价性检查、模型检验（Model Checking）——不跑仿真、数学上证明
• 硬件加速：Emulation（仿真加速器）与 FPGA 原型，为什么大芯片验证绕不开
• 与 dpa 的衔接：VCD/SAIF 活动数据 正是验证仿真与功耗分析的交接面

待填充。衔接：芯片功能验证、dpa 动态功耗分析。