Mixed Signal Assertion-Based Verification