Integrating circuit analyses for assertion-based verification of programmable AMS circuits.

Dogan Ulus, Alper Sen, I. Faik Baskaya

Browse the full FDL paper archive.