system verilog断言的介绍性文章,夏宇闻等撰写,有举例,有波形,可简单了解断言的作用,共10页