Autor der Publikation

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

SAT-based post-processing for regional capture power reduction in at-speed scan test generation., , und . ETS, Seite 1-6. IEEE, (2016)A Highly Fault-Efficient SAT-Based ATPG Flow., und . IEEE Design & Test of Computers, 29 (4): 63-70 (2012)Cluster-based Localization of IR-drop in Test Application considering Parasitic Elements., , und . LATS, Seite 1-4. IEEE, (2019)Combining Multi-Valued Logics in SAT-based ATPG for Path Delay Faults., , , , , und . MEMOCODE, Seite 181-187. IEEE Computer Society, (2007)Increasing Robustness of SAT-based Delay Test Generation Using Efficient Dynamic Learning Techniques., und . European Test Symposium, Seite 81-86. IEEE Computer Society, (2009)Optimization of retargeting for IEEE 1149.1 TAP controllers with embedded compression., , , und . DATE, Seite 578-583. IEEE, (2017)SAT-based ATPG for Path Delay Faults in Sequential Circuits., , und . ISCAS, Seite 3671-3674. IEEE, (2007)Formal Verification on the Word Level using SAT-like Proof Techniques., , , , und . MBMV, Seite 81-90. Shaker, (2007)High Quality Test Pattern Generation and Boolean Satisfiability., und . Springer, (2012)Machine Learning-based Prediction of Test Power., , , und . ETS, Seite 1-6. IEEE, (2019)