PUMA

Akademisches Publikationsmanagement
Publikationen sammeln, verwalten und teilen.

( en | de )

 

Disambiguierung von "Scheibler, Karsten"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Multi-cycle Circuit Parameter Independent ATPG for interconnect open defects.

, , , , und . VTS, Seite 1-6. IEEE Computer Society, (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.

Dr. -Ing. Karsten Keller University of Stuttgart

Karsten Schatz University of Stuttgart

Univ. -Prof. Dr. -Ing. Karsten Meier University of Stuttgart

Dr. Karsten Junius University of Stuttgart

Karsten Peissner University of Stuttgart

 

Weitere Publikationen von Autoren mit dem selben Namen

Test pattern generation in presence of unknown values based on restricted symbolic logic., , , , , und . ITC, Seite 1-10. IEEE Computer Society, (2014)Multi-cycle Circuit Parameter Independent ATPG for interconnect open defects., , , , und . VTS, Seite 1-6. IEEE Computer Society, (2015)Efficient SMT-based ATPG for interconnect open defects., , , und . DATE, Seite 1-6. European Design and Automation Association, (2014)Accurate CEGAR-based ATPG in presence of unknown values for large industrial designs., , und . DATE, Seite 972-977. IEEE, (2016)Superposition Modulo Non-linear Arithmetic., , , , , und . FroCoS, Volume 6989 von Lecture Notes in Computer Science, Seite 119-134. Springer, (2011)Accurate Dead Code Detection in Embedded C Code by Arithmetic Constraint Solving., , , , , , , und . SC²@SYNASC, Volume 1804 von CEUR Workshop Proceedings, Seite 32-38. CEUR-WS.org, (2016)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)Circuit Parameter Independent Test Pattern Generation for Interconnect Open Defects., , , , und . ATS, Seite 131-136. IEEE Computer Society, (2014)Implication Graph Compression inside the SMT Solver iSAT3., und . MBMV, Seite 25-36. Cuvillier, (2014)Towards Verification of Artificial Neural Networks., , , und . MBMV, Seite 30-40. Sächsische Landesbibliothek, (2015)