这是synopsys公司为我司做内部system verilog assertion方面培训的内部资料，主要本着共享精神，适当收取一点费用。