Metric-Driven Verification Methodology with Regression Management

Marek Ciepłucha

Abstract

This paper discusses the regression testing in digital integrated circuit verification. The aim of the metric-driven verification (MDV) and its role in modern verification methodology is presented. According to recognized limitations, it is proposed to include the regression testing strategy in verification environment itself. The data collected from the verification metrics can be used to adjust the testing procedures during the simulation. This approach allows for a dynamic management of the regression testing structure and may result in a significant reduction of the simulation time. The presented solution introduces a concept of the test segments. They may be started at arbitrary simulation point related to the DUT internal state (checkpoint). Usage of such segments, in the controlled regression testing strategy, may prevent from repeating the stimuli which is not contributing to the pre-defined verification metrics.
Author Marek Ciepłucha (FEIT / MO)
Marek Ciepłucha,,
- The Institute of Microelectronics and Optoelectronics
Journal seriesJournal of Electronic Testing-Theory and Applications, ISSN 0923-8174, (A 15 pkt)
Issue year2019
Vol35
No1
Pages101-110
ASJC Classification2208 Electrical and Electronic Engineering
DOIDOI:10.1007/s10836-019-05777-0
URL https://link.springer.com/article/10.1007/s10836-019-05777-0
Languageen angielski
Score (nominal)15
ScoreMinisterial score = 15.0, 19-03-2019, ArticleFromJournal
Ministerial score (2013-2016) = 15.0, 19-03-2019, ArticleFromJournal
Publication indicators Scopus SNIP (Source Normalised Impact per Paper): 2016 = 0.788; WoS Impact Factor: 2017 = 0.554 (2) - 2017=0.607 (5)
Citation count*
Cite
Share Share

Get link to the record


* presented citation count is obtained through Internet information analysis and it is close to the number calculated by the Publish or Perish system.
Back