第 4 章 · 共 7 章

Property 与蕴含

|-> 对比 |=>、disable iff，以及 property 级别的 not/and/or——把 axil_regfile 那条 VALID 不能等 READY 的规则，第一次在这个网站上写成一个真正的 property，而不只是停留在文字描述里。