A Formal Framework for Testing with Assertion Checkers in Mixed-Signal Simulation