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

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 assertions, may not be able to achieve. As such, we take advantage of the information present in the assertions to help build more effective test scenarios - a much needed endeavor given the increasing challenges in verification. We present algorithms in Airwolf-TG that generate test sequences from efficient and compact automata produced by MBAC tool.