On behavioral model equivalence checking for large analog/mixed signal systems.

Amandeep Singh, Peng Li

Browse the full ICCAD paper archive.