1. AMS验证工程全景

混合信号（AMS，Analog/Mixed-Signal）验证的核心难点，并不在于“数字仿真”或“模拟仿真”本身，而在于两者被放在同一个验证目标下时，时间、语义、精度和工具边界同时发生冲突。一个典型的 SoC 中，数字部分可能包含 CPU 子系统、总线矩阵、时钟复位控制、寄存器配置逻辑；模拟部分则包含 PLL、LDO、ADC/DAC、SerDes、传感器接口等。数字验证关心的是周期精确、事务顺序、协议一致性；模拟验证关心的是连续时间波形、偏置点、噪声、建立/保持、增益与相位裕度。把这两类对象放进同一个仿真里，就产生了 AMS 验证工程的基本问题。

混合信号验证的四个核心挑战

第一，时间语义不一致。数字仿真以离散事件推进，时间精度通常是 1ps 或 1fs 的整数倍；模拟仿真使用 SPICE 类求解器，以自适应时间步长处理连续方程。当数字信号跨越模拟域时，必须定义“在什么时刻采样、保持多久、如何插值”。例如一个 10bit SAR ADC 的采样保持信号，如果数字侧在 12.5ns 翻转，模拟侧求解器可能正好在 12.503ns 才接受该事件，中间 3ps 的偏差在高速链路中足以改变比较器结果。

第二，信号类型与电气语义不匹配。数字侧是 0/1/x/z 四值逻辑，模拟侧是实数电压/电流。一个数字输出驱动模拟输入时，需要明确输出阻抗、上升/下降时间、供电电平；模拟输出送入数字输入时，需要定义阈值电压 VIL/VIH 和判决时刻。若直接把数字 1 映射为 1.8V 理想源，模拟侧看到的边沿是零上升时间，可能引发不收敛或虚假振荡。

第三，性能与精度的矛盾。纯 SPICE 仿真一个包含百万门数字逻辑的芯片，时间不可接受；纯数字仿真又无法反映模拟非理想性。AMS 验证必须在“哪些部分用实数模型、哪些部分用 Verilog 模型、哪些部分用行为级模型”之间做工程取舍。

第四，验证平台与激励复用。数字验证已有 UVM 环境、寄存器模型、覆盖率收集；模拟验证常用 SPICE 测试台、DC/AC/TRAN 分析。AMS 验证需要让同一套激励既能驱动数字事务，又能产生模拟波形，并让结果可被统一检查。

Xcelium AMS 在工程流程中的定位

Xcelium AMS 是 Cadence 将 Xcelium 数字求解器与 Spectre 模拟求解器通过 AMS 接口集成后的协同仿真平台。它在工程流程中的位置可以这样理解：数字侧继续使用 Xcelium 编译 SystemVerilog/UVM 环境，模拟侧继续使用 Spectre 编译 SPICE/Verilog-A 模型，两者通过 Connect Module 和 AMS 控制文件建立连接。它不替代数字验证，也不替代模拟验证，而是把原本分离的两个验证阶段合并到同一个仿真时间轴上。

在典型项目流程中，AMS 验证通常出现在三个位置：模块级，例如 ADC 数字控制逻辑与模拟前端联合验证；子系统级，例如 PLL 与时钟树、电源管理单元与数字负载；芯片级，例如 SerDes 通道、DDR PHY 训练、传感器接口。越往上，模拟模型越倾向于行为级或 wreal 建模，数字部分越完整，仿真速度与精度的平衡越关键。

数字与模拟协同验证的基本范式

协同验证的基本范式可以概括为“统一激励、分域求解、接口同步、联合判读”。统一激励指用同一套 UVM sequence 或测试用例同时驱动数字事务和模拟激励；分域求解指数字事件由 Xcelium 调度，模拟连续方程由 Spectre 求解；接口同步指通过 Connect Module 定义信号映射、时间采样和电气参数；联合判读指最终结果既检查数字协议和覆盖率，也检查模拟波形指标。

以一个 12bit SAR ADC 的 AMS 验证为例。数字侧提供 start、clk、reset 和 12 位输出码；模拟侧提供差分输入 Vin_p/Vin_n、参考电压 Vref 和采样保持网络。Connect Module 需要定义：数字 start 到模拟采样开关的延迟约 0.5ns；模拟比较器输出到数字 comp_out 的阈值电压为 0.9V；数字输出码在 clk 上升沿后 1ns 有效。仿真运行后，数字侧检查输出码是否在预期范围内、转换时序是否满足；模拟侧测量 INL/DNL、采样建立误差和功耗。只有两边同时通过，才认为该 ADC 的 AMS 验证完成。

从“能跑通”到“可签核”的关键判断

AMS 验证工程的目标不是让仿真跑起来，而是让结果可签核。判断一个 AMS 验证环境是否达到签核水平，可以看四点：第一，数字侧覆盖率是否收敛，包括功能覆盖、代码覆盖和断言覆盖；第二，模拟侧关键指标是否有明确的测量方法和通过阈值，例如 ADC 的 SNR 大于 68dB、PLL 的锁定时间小于 5μs；第三，接口参数是否有版本管理和评审记录；第四，回归是否能在可接受时间内完成，例如芯片级 AMS 回归控制在 24 小时内。

Xcelium AMS 的价值，正在于它把数字验证的自动化、覆盖率、回归能力与模拟验证的精度、波形分析能力放在同一个平台上。理解它的定位和协同范式，是后续搭建具体 AMS 验证环境、编写 Connect Module、调试收敛问题和分析混合信号结果的基础。