elib
DLR-Header
DLR-Logo -> http://www.dlr.de
DLR Portal Home | Impressum | Datenschutz | Kontakt | English
Schriftgröße: [-] Text [+]

Sat-based speedpath debugging using waveforms

Dehbashi, Mehdi und Fey, Görschwin (2014) Sat-based speedpath debugging using waveforms. IEEE European Test Symposium, 2014-05-26 - 2014-05-30, Paderborn. doi: 10.1109/ETS.2014.6847802.

Dieses Archiv kann nicht den Volltext zur Verfügung stellen.

Offizielle URL: http://dx.doi.org/10.1109/ETS.2014.6847802

Kurzfassung

A major concern in the design of high performance VLSI circuits is speedpath debugging. This is due to the fact that timing variations induced by process variations and environmental effects are increasing as the size of VLSI circuits is shrinking. In this paper, a speedpath debugging approach based on Boolean Satisfiability (SAT) is proposed. The approach takes waveforms of the signals of a circuit into account. Waveforms and their propagation are encoded using SAT. Also, timing variation models for slowdown and speedup of each gate are incorporated into the model. The whole timing variation is controlled by a unit called variation control. Having an Erroneous Trace (ET) due to timing variation, our debug engine automatically finds potential failing speedpaths. The experimental results on ISCAS benchmarks show efficiency and diagnosis accuracy of our approach. The approach can also localize potential failing speedpaths for the multiplier circuit c6288 that has a large number of paths. Keywords—automated debugging, speedpaths, waveforms, timing variation

elib-URL des Eintrags:https://elib.dlr.de/93135/
Dokumentart:Konferenzbeitrag (Vortrag)
Titel:Sat-based speedpath debugging using waveforms
Autoren:
AutorenInstitution oder E-Mail-AdresseAutoren-ORCID-iDORCID Put Code
Dehbashi, MehdiNICHT SPEZIFIZIERTNICHT SPEZIFIZIERTNICHT SPEZIFIZIERT
Fey, GörschwinNICHT SPEZIFIZIERTNICHT SPEZIFIZIERTNICHT SPEZIFIZIERT
Datum:2014
Referierte Publikation:Ja
Open Access:Nein
Gold Open Access:Nein
In SCOPUS:Nein
In ISI Web of Science:Nein
DOI:10.1109/ETS.2014.6847802
Seitenbereich:Seiten 63-68
Status:veröffentlicht
Stichwörter:Debugging, Formal Methods, Integrated Circuit
Veranstaltungstitel:IEEE European Test Symposium
Veranstaltungsort:Paderborn
Veranstaltungsart:internationale Konferenz
Veranstaltungsbeginn:26 Mai 2014
Veranstaltungsende:30 Mai 2014
HGF - Forschungsbereich:Luftfahrt, Raumfahrt und Verkehr
HGF - Programm:Raumfahrt
HGF - Programmthema:Technik für Raumfahrtsysteme
DLR - Schwerpunkt:Raumfahrt
DLR - Forschungsgebiet:R SY - Technik für Raumfahrtsysteme
DLR - Teilgebiet (Projekt, Vorhaben):R - Core Avionics (alt)
Standort: Bremen
Institute & Einrichtungen:Institut für Raumfahrtsysteme > Avioniksysteme
Hinterlegt von: Fey, Görschwin
Hinterlegt am:11 Dez 2014 11:17
Letzte Änderung:05 Jun 2024 08:40

Nur für Mitarbeiter des Archivs: Kontrollseite des Eintrags

Blättern
Suchen
Hilfe & Kontakt
Informationen
electronic library verwendet EPrints 3.3.12
Gestaltung Webseite und Datenbank: Copyright © Deutsches Zentrum für Luft- und Raumfahrt (DLR). Alle Rechte vorbehalten.