Equivalence Checking of System-Level and SPICE-Level Models of Linear Circuits

Kemal Çağlar CoşkunMuhammad HassanRolf Drechsler2024-03-282024-03-282022jz000027-0008https://tustorage.ulb.tu-darmstadt.de/handle/tustorage/1580621.3Equivalence Checking of System-Level and SPICE-Level Models of Linear Circuitshttps://doi.org/10.3390/chips1010006