第 5 章 · 共 7 章

协议合规性断言：检查那些从未被测过的场景

回报章节：针对 axil_regfile 三个真实的、至今仍未闭合的缺口分别写出 property——AW/W 独立性、A7 单笔未完成事务限制，以及 uvm-advanced 第 4 章那次竞争依赖的、COUNT 和 irq 之间确切的同边沿关系——全部搭建在第 1 到第 4 章已经建好的基础上，不是凭空造出来的场景。