VMM: http://www.vmmcentral.org http://www.vmmcentral.org/vmartialarts/ http://www.testbench.in http://www.systemverilog.in http://www.paradigm-works.com http://www.coolverification.com/ http://coverification.org/ http://www.thinkverification.com/ http://www.cvcblr.com/blog/ http://verificationguild.com/ http://digitalverification.blogspot.com/ 翻墙 assertion: http://www.doulos.com/knowhow/sysverilog/tutorial/assertions/