DVClub Sept 2011: Assertion-Based verification Posted on September 30, 2011 by Mike Bartley DVClub Sept 2011 on Assertion-Based Verification: Eric Deal, Cyclic Design and Nitin Mhaske, NextOp Software