← Advanced SVA
Chapter 4 of 7
Properties and Implication
|-> vs |=>, disable iff, and property-level not/and/or -- formalizing axil_regfile's VALID-must-not-wait-for-READY rule as an actual property for the first time on this site, previously only stated in prose.
This chapter is locked
Enter the password to read this chapter's content and quizzes. Unlocking also unlocks every other locked chapter in this learning path, in this browser.