Writing Testbenches using SystemVerilog - 9781441939784
ISBN-13: 9781441939784, 978-1441939784. Writing Testbenches using SystemVerilog. This may seem unusually large, but I include in "verification" all debugging and correctness checking activities, not just writing and running testbenches.