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