- Article
Equivalence Checking of System-Level and SPICE-Level Models of Linear Circuits
- Kemal Çağlar Coşkun,
- Muhammad Hassan and
- Rolf Drechsler
Due to the increasing complexity of analog circuits and their integration into System-on-Chips (SoC), the analog design and verification industry would greatly benefit from an expansion of system-level methodologies using SystemC AMS. These can provi...

