Verifying Analog Behavioral Models Mixed-Signal System Simulation with Models