Autor der Publikation

Analysis of Reachable Sensitisable Paths in Sequential Circuits with SAT and Craig Interpolation.

, , , , und . VLSI Design, Seite 382-387. IEEE Computer Society, (2012)

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

Accurate Computation of Sensitizable Paths Using Answer Set Programming., , , , , und . LPNMR, Volume 8148 von Lecture Notes in Computer Science, Seite 92-101. Springer, (2013)On Metrics to Quantify the Inter-Device Uniqueness of PUFs., , und . IACR Cryptology ePrint Archive, (2016)Identification of critical variables using an FPGA-based fault injection framework., , , , und . VTS, Seite 1-6. IEEE Computer Society, (2013)Search Space Reduction for Low-Power Test Generation., , , , und . Asian Test Symposium, Seite 171-176. IEEE Computer Society, (2013)Detection of early-life failures in high-K metal-gate transistors and ultra low-K inter-metal dielectrics., , , , , , , , und . CICC, Seite 1-4. IEEE, (2013)Efficient SAT-based dynamic compaction and relaxation for longest sensitizable paths., , , , und . DATE, Seite 448-453. EDA Consortium San Jose, CA, USA / ACM DL, (2013)Intelligent Device Tester Calibration Based on Gauge Repeatability and Reproducibility, , , , , und . Proceedings of the 37th ITG / GMM / GI -Workshop Testmethoden und Zuverlässigkeit von Schaltungen und Systemen, (23-25 02 2025)Security, Reliability and Test Aspects of the RISC-V Ecosystem, , , , , , , , , und 6 andere Autor(en). 2021 IEEE European Test Symposium (ETS), Seite 1-10. (2021)Detecting and Resolving Security Violations in Reconfigurable Scan Networks, , , , , , und . 2018 IEEE 24th International Symposium on On-Line Testing And Robust System Design (IOLTS), Seite 91-96. Piscataway, IEEE, (2018)Mixed 01X-RSL-Encoding for fast and accurate ATPG with unknowns, , , , , und . 2016 21st Asia and South Pacific Design Automation Conference (ASP-DAC), Seite 749-754. Piscataway, IEEE, (2016)