DVClub Sept 2011 on Assertion-Based VerificationEric Deal, Cyclic Design and Nitin Mhaske, NextOp Software