SV Assertion手冊筆記

根據SV標準手冊《IEEE Standard for SystemVerilog》ASSERTION章節整理出SVA的基本概念,並加以個人理解,記錄於此,以便回顧。 1.  assertion types Assertion Types immediate  simple assert     (expression)     assume   (expression)     cover   
相關文章
相關標籤/搜索