Automated design error localization in RTL designs
Dr.-Ing. Maksim Jenihhin
Dr. Jaan Raik
Dr.-Ing. Jorge Hernán Meza Escobar
Dr.-Ing. Heinz- Dietrich Wuttke
- Rapidly growing systems complexity has led to increasing design costs and verification has become one of the most expensive tasks in the design process. While several approaches and tools focusing on identifying the occurrences of errors exist, scalable solutions for design error, or bug,localization are missing. On one hand, the designer is faced with too much information provided by the verification tools. On the other hand, there is not enough information in order to unambiguously locate the bug. Therefore, manual bug localization activity is very time consuming and there is a need for automated approaches.
In this paper we consider 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.
- Digital Object Identifier: 10.1109/MDAT.2013.2271420
- Weiterführender Link
- Weiterführendes Dokument