Autor der Publikation

ICCAD-2015 CAD Contest in Large-scale Equivalence Checking and Function Correction and Benchmark Suite.

, , , und . ICCAD, Seite 916-920. IEEE, (2015)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

 

Weitere Publikationen von Autoren mit dem selben Namen

ICCAD-2017 CAD contest in resource-aware patch generation., , , und . ICCAD, Seite 857-862. IEEE, (2017)ICCAD-2015 CAD Contest in Large-scale Equivalence Checking and Function Correction and Benchmark Suite., , , und . ICCAD, Seite 916-920. IEEE, (2015)ICCAD-2014 CAD contest in simultaneous CNF encoder optimization with SAT solver setting selection and benchmark suite., , , und . ICCAD, Seite 357-360. IEEE, (2014)Speeding Up MPSoC virtual platform simulation by Ultra Synchronization Checking Method., , , und . DATE, Seite 353-358. IEEE, (2011)ICCAD-2020 CAD Contest in X-value Equivalence Checking and Benchmark Suite : Invited Talk., , , und . ICCAD, Seite 68:1-68:4. IEEE, (2020)Interpolation-based incremental ECO synthesis for multi-error logic rectification., , , und . DAC, Seite 146-151. ACM, (2011)QuteSAT: a robust circuit-based SAT solver for complex circuit structure., , , und . DATE, Seite 1313-1318. EDA Consortium, San Jose, CA, USA, (2007)A Counterexample-Guided Interpolant Generation Algorithm for SAT-Based Model Checking., , , und . IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 33 (12): 1846-1858 (2014)A counterexample-guided interpolant generation algorithm for SAT-based model checking., , , und . DAC, Seite 118:1-118:6. ACM, (2013)2021 CAD Contest Problem A: Functional ECO with Behavioral Change Guidance Invited Paper., , , , , , und . ICCAD, Seite 1-6. IEEE, (2021)