Mixed Signal Assertion-Based Verification Author(s): Prabal Bhattacharya, Don O’Riordan, and Walter Hartong Download