Email Record: Behavioral model equivalence checking for large analog mixed signal systems /