SV Assertion手冊筆記

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

>>阅读原文<<