功能覆盖率驱动的 TAU/MVBC模块验证 (2011年)

基于验证方法学,使用硬件验证语言搭建分层可复用的 TAU/MVBC验证环境,利用功能覆盖率结果对 随机激励生成器进行导向,同时使用断言覆盖未达到的边角情况,在合理的时间内达到了预定的覆盖率要求。 结果表明,覆盖率导向的带约束随机激励生成方法通过提高对覆盖率贡献较大的小概率事件出现的次数,有效 地提高了验证效率。