Autor der Publikation

Formal Test Point Insertion for Region-based Low-Capture-Power Compact At-Speed Scan Test.

, , , , und . ATS, Seite 173-178. IEEE Computer Society, (2016)

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)Cluster-based Localization of IR-drop in Test Application considering Parasitic Elements., , und . LATS, Seite 1-4. IEEE, (2019)A Highly Fault-Efficient SAT-Based ATPG Flow., und . IEEE Design & Test of Computers, 29 (4): 63-70 (2012)Combining Multi-Valued Logics in SAT-based ATPG for Path Delay Faults., , , , , und . MEMOCODE, Seite 181-187. IEEE Computer Society, (2007)Optimization of retargeting for IEEE 1149.1 TAP controllers with embedded compression., , , und . DATE, Seite 578-583. IEEE, (2017)Increasing Robustness of SAT-based Delay Test Generation Using Efficient Dynamic Learning Techniques., und . European Test Symposium, Seite 81-86. IEEE Computer Society, (2009)SAT-based ATPG for Path Delay Faults in Sequential Circuits., , und . ISCAS, Seite 3671-3674. IEEE, (2007)PASSAT 2.0: A multi-functional SAT-based testing framework., , , und . LATW, Seite 1. IEEE Computer Society, (2013)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)