Verification Central

year of pub­li­ca­ti­onISBNauthor(s)title
2001978-0-9711994-0-8Faisal Haque · Jonathan Michelson · Khizar KhanThe Art of Verification with VERA
2006978-0-9711994-1-5Faisal Haque · Jonathan Michelson · Khizar KhanThe Art of Verification with SystemVerilog Assertions