Mix signal simulation

现在在SOC里面模拟电路越来越多了,包括很多analog IP core.
这个时候SOC验证应该怎么去做?
业界做mix signal 验证么？
验证方法是什么?
hoho, 这个问题提得挺大的。迷糊呀。

可以做mixed-signal simulation，有用ultrasim的，或者是
verilogAms,vhdlAMS

memory之类的，可以用ESPCV之类的工具把
纯粹analog的，大概只有做cosim了

如果用VerilogAMS的话，必定需要Analog建立Verilog-A模型？
如果IP没有这样的模型呢？

在System Level 验证的话，我觉得主要做的事有两个：
1) Interface Function
2）Interface Timing
对1)如果只是用模型的话,前提是模型必须是完全和实现一致.所以这里就有个一致性的问题了.
对2)就不清楚了.

说个Cadence 平台的， 其他平台没用过，不了解；
Spectre + LDV
也即  SpectreVerilog , 数字RTL+ 模拟VerilogA/Schematic/Netlist/Parameters Netlist 都可以进行仿真