Airwolf-TG: A test generator for assertion-based dynamic verification

Abstract

With the emerging predominance of assertion-based dynamic verification, test generation is a key area where assertions can play a bigger role. We consider the generation of test sequences from properties defined by assertions. Such tests are aimed at finding failures in corner-case scenarios of the design specification that test generation alone, without… (More)
DOI: 10.1109/HLDVT.2009.5340166

Topics

9 Figures and Tables

Slides referencing similar topics