@inproceedings{KochdumperTarrafRechmaletal.2020, author = {Kochdumper, Niklas and Tarraf, Ahmad and Rechmal, Malgorzata and Olbrich, Markus and Hedrich, Lars and Althoff, Matthias}, title = {Establishing Reachset Conformance for the Formal Analysis of Analog Circuits}, booktitle = {ASP-DAC 2020: 25th Asia and South Pacific Design Automation Conference, Proceedings}, publisher = {IEEE}, address = {Piscataway}, isbn = {978-1-7281-4123-7}, doi = {https://doi.org/10.1109/ASP-DAC47756.2020.9045120}, pages = {199 -- 204}, year = {2020}, language = {en} } @inproceedings{TarrafHedrichKochdumperetal.2020, author = {Tarraf, Ahmad and Hedrich, Lars and Kochdumper, Niklas and Rechmal, Malgorzata and Olbrich, Markus}, title = {Equivalence Checking Methods for Analog Circuits Using Continuous Reachable Sets}, booktitle = {Proceedings: 2020 IEEE Computer Society Annual Symposium on VLSI, 6-8 July 2020, Limassol, Cyprus}, publisher = {IEEE}, address = {Los Alamitos}, isbn = {978-1-7281-5775-7}, doi = {https://doi.org/10.1109/ISVLSI49217.2020.00012}, pages = {7 -- 12}, year = {2020}, language = {en} }