数字IC验证中,针对‘汽车功能安全’要求,在UVM环境中如何有效地实施并验证‘安全机制’(如ECC、锁步核、看门狗)?
我正在面试一家做汽车芯片的公司,数字验证岗。面试官肯定会问功能安全(ISO 26262)相关的问题。我知道概念上需要为DUT添加安全机制并在验证中覆盖。但具体到UVM验证环境中:1. 像ECC错误注入、锁步核比较错误这类测试,是在scoreboard里做检查,还是需要专门构建一个“安全机制验证组件”?2. 如何模拟随机、瞬态故障注入?有现成的VIP或方法学推荐吗?3. 功能安全验证的覆盖率模型和普通功能覆盖率有什么不同?需要额外定义哪些覆盖点?希望有实际项目经验的大牛能分享一下流程和最佳实践。