http://www.tu-ilmenau.de

Logo TU Ilmenau


FG Integrierte Kommunikationssysteme


headerphoto FG Integrierte Kommunikationssysteme
Ansprechpartner

Prof. Dr.-Ing. habil. Andreas Mitschele-Thiel

Fachgebietsleiter

Telefon +49 3677 / 69 2819

E-Mail senden


INHALTE

Veröffentlichungen

Veröffentlichung

Automated Design Error Localization in RTL Designs

Autoren:
Dr.-Ing. Maksim Jenihhin
Anton Tsepurov
Valentin Tihhomirov
Dr. Jaan Raik
Hanno Hantson
Raimund Ubar
Günter Bartsch
Dr.-Ing. Jorge Hernán Meza Escobar
Dr.-Ing. Heinz- Dietrich Wuttke
Typ:
Zeitschrift
Status:
akzeptiert
Veröffentlichungsdatum
11.01.2014
Abstract:
This paper considers the case where a design described in a Hardware Description Language (HDL) has been identified as erroneous during functional verification and, thus, design error localization is required. However, due to the enormous complexity of modern Register-Transfer Level (RTL) designs, several bugs may escape verification and are consequently handled by post-silicon validation.
Bibtex
Weiterführender Link
http://ieeexplore.ieee.org/xpl/RecentIssue.jsp?punumber=6221038
Weiterführendes Dokument
http://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=6549113