Best Paper Award DATE 2017

Direktzugriff

Artikelaktionen

DATE '17 BPA Ceremony

Bisherige Methoden zur Erkennung von dauerhaft nicht leitenden Transistoren beachten in der Regel nicht die Problematik von Glitches, die ein Testmuster invalidieren können. In dem in dieser Arbeit mit dem Titel "Fast and Waveform-Accurate Hazard-Aware SAT-Based TSOF ATPG" vorgestellten SAT-basierten Verfahren zur Erzeugung von Testmustern dagegen wird das Zeitverhalten des Schaltkreises akkurat abgebildet, um ausschließlich Testmuster zu erzeugen, die garantiert glitchfrei sind. Durch eine effiziente, hybride Codierung wird auch bei sehr großen Schaltkreisen eine hohen Fehlerabdeckung mit nur sehr wenigen Timeouts bei zugleich geringer Laufzeit erreicht. 

Fußzeile

Benutzerspezifische Werkzeuge