Text this: Behavioral model equivalence checking for large analog mixed signal systems /