thepowerofassertioninSystemVerilog本书讲述了systemverilog的assertion知识点