验证经典图书第三版出来拉

CHAPTER 1Introduction CHAPTER 2Verification Planning CHAPTER 3Assertions CHAPTER 4Testbench Infrastructure CHAPTER 5Stimulus And Response CHAPTER 6Coverage-Driven Verification CHAPTER 7Assertions for Formal Tools CHAPTER 8System-Level Verification C

Verificatiom Methodology Manual for System Verilog (by synopsys) by Janick Bergeron Eduard Cerny Alan Hunter Andrew Nightingale

synopsys推出的基于system verilog的验证方法学，可看做rvm的sv版本。