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

Description

Toolbox-ID

jz000027-0008

Identifier(s)

https://tustorage.ulb.tu-darmstadt.de/handle/tustorage/1580

Publisher

MDPI AG

License

https://creativecommons.org/licenses/by/4.0/

Subject(s)

DDC(s)

621.3

Distribution(s)

Distribution
Equivalence Checking of System-Level and SPICE-Level Models of Linear Circuits
Kemal Çağlar Coşkun; Muhammad Hassan; Rolf Drechsler
Distribution
Equivalence Checking of System-Level and SPICE-Level Models of Linear Circuits
Kemal Çağlar Coşkun; Muhammad Hassan; Rolf Drechsler