Towards Assertion Based Verification of Analog and Mixed Signal Designs Using PSL