Analog Transaction Level Modeling for Verification of Mixed-Signal-Blocks