Establishing Reachset Conformance for the Formal Analysis of Analog Circuits

Niklas Kochdumper, Ahmad Tarraf, Malgorzata Rechmal, Markus Olbrich, Lars Hedrich, Matthias Althoff. Establishing Reachset Conformance for the Formal Analysis of Analog Circuits. In 25th Asia and South Pacific Design Automation Conference, ASP-DAC 2020, Beijing, China, January 13-16, 2020. pages 199-204, IEEE, 2020. [doi]

Authors

Niklas Kochdumper

This author has not been identified. Look up 'Niklas Kochdumper' in Google

Ahmad Tarraf

This author has not been identified. Look up 'Ahmad Tarraf' in Google

Malgorzata Rechmal

This author has not been identified. Look up 'Malgorzata Rechmal' in Google

Markus Olbrich

This author has not been identified. Look up 'Markus Olbrich' in Google

Lars Hedrich

This author has not been identified. Look up 'Lars Hedrich' in Google

Matthias Althoff

This author has not been identified. Look up 'Matthias Althoff' in Google