Kemal Çaglar Coskun, Muhammad Hassan 0002, Rolf Drechsler. Equivalence Checking of System-Level and SPICE-Level Models of Linear Analog Filters. In 25th International Symposium on Design and Diagnostics of Electronic Circuits and Systems, DDECS 2022, Prague, Czech Republic, April 6-8, 2022. pages 160-165, IEEE, 2022. [doi]
Abstract is missing.