很多团队觉得参考模型太重,干脆不做。只写激励,加几条断言,看输出波形debug——这在简单模块验证时确实可行。
但问题是,真实的芯片不会孤立存在。
一颗SoC芯片对外有UART、I2C、GPIO、PWM接口,对内还得跟ADC、DAC、时钟树、复位电路这些模拟模块交互。如果验证平台里没有这些外设的行为模型,DUT根本跑不起来。
举个实际的例子。验证一个SoC的UART模块,DUT发出的是串行数据流,波特率115200。如果验证平台里没有UART接收器模型,谁来接这些数据?难道手工去数每个bit的时序,然后在波形里人肉解码?