Kemal Çağlar CoşkunMuhammad HassanRolf Drechsler2024-03-282024-03-28https://tustorage.ulb.tu-darmstadt.de/handle/tustorage/1582Equivalence Checking of System-Level and SPICE-Level Models of Linear Circuitssupplierxml