第 2 章 · 共 7 章

为什么用断言，不用 if 语句：SVA 的价值

在学更多 SVA 语法之前，先做一个公平的比较：第 15 章的 req_ack_p property，对上一个手写的 always_ff 检查器，检查的是同一条规则——放进 Icarus 里跑出来，不是空谈出来的——把真实的好处和真实的代价都摆在一起权衡。