SV Assertion手册笔记

根据SV标准手册《IEEE Standard for SystemVerilog》ASSERTION章节整理出SVA的基本概念，并加以个人理解，记录于此，以便回顾。 1.  assertion types Assertion Types immediate  simple assert     (expression)     assume   (expression)     cover   

>>阅读原文<<