在以覆盖率为导向的验证理论中如何有效结合断言和覆盖点

断言已被运用于RTL为主的侦错中,在确认错误及使错误区域化的方面有显著的效用.除此之外,它还可以缩短整个设计时程,使除错更为便利.然而断言所能提供的优点,除了设计的功能验证外,还可用在仿真过程中,改进事件发生的可观测性以及覆盖点.此种程度的可观测性,往往在部署一个以覆盖率为导向的验证理论中,具有决定性的影响.