论文部分内容阅读
随着SoC规模的日益扩大，功能验证也日趋复杂，在模块级验证中尽早地找出设计中的逻辑错误，能大大节省时间和人力的开销。针对EraSoC芯片，搭建了一个模块级功能验证平台，采用事务级的验证策略，并综合运用了约束随机，断言和覆盖率驱动等多种验证方法。以CAN控制器的验证为例介绍了该平台的具体设计和使用。该验证平台极大地提高了验证效率和重用性，在EraSoC的验证中发挥了重要作用。平台的结构和方法具有通用性，可以为其他类似系统的验证提供借鉴。