Equivalence Validation of Analog Behavioral Models