Computer Science
Home

Computer Science Colloquium

Im Rahmen des Informatik-Kolloquiums, das von den Instituten des Fachbereichs Informatik, der Österreichischen Gesellschaft für Informatik (ÖGI), der Arbeitsgemeinschaft für Datenverarbeitung (ADV) sowie der Österreichischen Computergesellschaft (OCG) abgehalten wird, spricht

Alan Mishchenko

Electrical Engineering and Computer Sciences, University of California, Berkeley

über das Thema:

Integrating an AIG Package, Simulator and SAT Solver

Zeit: 2018-10-15 12:00:00.0, 45 Minuten
Ort: JKU, Science Park 3, Raum 218

Zusammenfassung

This talk focuses on SAT sweeping for large problem instances where the interdependence of simulation and Boolean satisfiability (SAT) is critical. A modified AIG data-structure is proposed to optimize the speed of logic manipulation for the problems of this type. Experimental results confirm that the new implementation is faster, compared to the old one, in which runtime and scalability has been a known issue.

Vortragender

Alan Mishchenko graduated from Moscow Institute of Physics and Technology (Moscow, Russia) in 1993 with MS and received his PhD from the Glushkov Institute of Cybernetics (Kiev, Ukraine) in 1997. In 2002, he joined the EECS Department at UC Berkeley, where he is currently a full researcher. Alan?s research interests are in developing computationally efficient methods for synthesis and verification.
Einladender: Prof. Dr. Armin Biere
Liste aller Vorträge
Last modified on Thursday, 01-Jan-1970 01:00:00 CET