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

Debug automation for logic circuits under timing variations

Dehbashi, Mehdi und Fey, Görschwin (2013) Debug automation for logic circuits under timing variations. IEEE Design and Test, 30 (6), Seiten 60-69. IEEE - Institute of Electrical and Electronics Engineers. doi: 10.1109/MDAT.2013.2266393. ISSN 2168-2356.

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

Kurzfassung

This paper presents a novel approach to automate speedpath debugging taking into account variations. The proposed technique is based on Boolean Satisfiability. The approach is based on converting the timing behavior of a circuit into the functional domain, inserting a variation logic into the model, and using a Boolean Satisfiability solver to extract failing speedpaths.

elib-URL des Eintrags:https://elib.dlr.de/93696/
Dokumentart:Zeitschriftenbeitrag
Titel:Debug automation for logic circuits under timing variations
Autoren:
AutorenInstitution oder E-Mail-AdresseAutoren-ORCID-iDORCID Put Code
Dehbashi, MehdiNICHT SPEZIFIZIERTNICHT SPEZIFIZIERTNICHT SPEZIFIZIERT
Fey, GörschwinNICHT SPEZIFIZIERTNICHT SPEZIFIZIERTNICHT SPEZIFIZIERT
Datum:2013
Erschienen in:IEEE Design and Test
Referierte Publikation:Ja
Open Access:Nein
Gold Open Access:Nein
In SCOPUS:Ja
In ISI Web of Science:Ja
Band:30
DOI:10.1109/MDAT.2013.2266393
Seitenbereich:Seiten 60-69
Verlag:IEEE - Institute of Electrical and Electronics Engineers
ISSN:2168-2356
Status:veröffentlicht
Stichwörter:automate speedpath debugging
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: Hoffmann, Jana Christin
Hinterlegt am:08 Jan 2015 13:00
Letzte Änderung:08 Mär 2018 18:37

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.