解读

面试官抛出此题，并非想听“无线充电就是带个线圈”这类科普，而是考察候选人是否理解“能量传输”这一模拟-数字混合场景给验证带来的全新维度：磁场耦合、协议握手、功率闭环、安全保护、异物检测、热-电耦合、EMI/EMC 合规，以及中国国标GB/T 38775/工信部入网规范对线圈参数、Q值、频偏的硬性指标。验证工程师必须能把“模拟不确定性”转化为“可量化覆盖率”，并给出sign-off标准。

知识点

1. 耦合通道模型：互感M、耦合系数k、线圈Q值、频偏Δf、寄生串联电阻Rpar，需在验证平台里用real-number modeling或Wreal建模，支持±20 %工艺偏差扫描。
2. 功率传输闭环：数字PID+模拟PWM，双环验证需检查零极点漂移、环路稳定性（相位裕度>45°），并用FUSA故障注入验证过压、过流、过温三级保护在150 µs内关断。
3. 双向通信：Qi 1.3采用2 kHz/4 kHz ASK负载调制，验证需用SystemVerilog + Verilog-AMS联合testbench，检查位错误率BER<1e-4；同时注入250 ns抖动、15 %幅度衰减，确保解码状态机不跑飞。
4. 异物检测FOD：基于Q因子衰减+相位差双阈值，验证需用Monte-Carlo跑5000次，覆盖1元硬币、回形针、铝箔等典型异物，要求误判率<0.5 %、漏检率=0。
5. 热-电耦合：线圈温升模型+片上温度传感器，验证平台需把热阻网络写成SystemVerilog-Real模型，跑8小时老化场景，确保ΔT<35 ℃时功率降额曲线单调。
6. 国标合规：GB/T 38775.4对频偏±15 kHz、杂散辐射<-50 dBm有硬性要求，验证需用post-layout + 寄生提取+EMI仿真，生成合规报告作为sign-off附件。
7. 安全岛机制：Qi要求Tx在丢失通信>1.25 s进入IDLE，验证需用形式验证工具证明状态机无死锁，并用硬件加速跑1e9周期无复位逃逸。
8. 低功耗场景：待机<50 mW，验证需用UPF3.0功耗仿真，检查深睡模式下数字隔离、模拟偏置关断、LDO静态电流<5 µA，并用GL-netlist跑功耗回归，确保无功耗倒挂。

答案

“无线充电验证的核心是把‘能量链路’纳入数字验证方法论。首先，在平台层面，我们用SystemVerilog-UVM做数字控制器验证，同时用Verilog-AMS把线圈、整流、PID、PWM、ASK解调器做成行为级模型，支持±20 %线圈工艺偏差、±10 %负载阶跃、±15 kHz频偏的全参数扫描。
第二，建立‘功率-协议-安全’三维覆盖率模型：功率维度覆盖0 W到15 W共128个功率档，协议维度覆盖Qi 1.3所有数据包类型+位错误注入，安全维度覆盖过压、过流、过温、FOD、频偏超限、通信丢失六大故障，每类故障注入1000次，要求系统能在150 µs内进入安全岛，覆盖率目标≥99.5 %。
第三，针对FOD，我们把Q因子、相位差、功率损耗三元组做成交叉覆盖率，用Monte-Carlo跑5000次，确保对1元硬币、回形针、铝箔的漏检率为0，误判率<0.5 %，并输出高斯分布直方图供设计校准阈值。
第四，热-电耦合方面，我们把线圈热阻网络写成real-model，联合数字温度传感器，跑8小时老化场景，验证ΔT<35 ℃时功率降额曲线单调，且无热震荡。
第五，合规性用post-layout+寄生提取+EMI仿真，确保频偏、杂散、辐射满足GB/T 38775及工信部入网要求，生成sign-off报告。
第六，低功耗用UPF3.0跑功耗回归，待机状态整芯片<50 mW，深睡模式LDO静态电流<5 µA，并用形式验证证明隔离策略无漏电路径。
最终，我们把所有场景集成到CI回归，每晚跑2000+用例，用硬件加速跑1e9周期无复位逃逸，达到sign-off标准。”

拓展思考

1. 若未来支持50 W私有协议，电流环路带宽提高到1 MHz，如何重构行为模型以保证数值稳定性？
2. 车规AEC-Q100 Grade0要求-40 ℃~150 ℃，温度系数引入的Q值漂移如何映射到FOD阈值自适应算法？
3. 多线圈阵列Tx场景，线圈间互感矩阵高达8×8，如何用降阶建模在数字仿真里跑完系统级验证而不牺牲精度？
4. 若引入反向通信FSK，频点与ASK重叠，如何设计联合验证策略避免协议串扰导致误码？