Property-specific witness graph generation for guided simulation

Abstract

A practical solution to the complexity of design validation is semi-formal verification, where the specification of correctness criteria is done formally, as in model checking, but checking is done using simulation, which is guided by directed vector sequences derived from knowledge of the design and/or the property being checked. Simulation vectors must be… (More)

Topics

2 Figures and Tables

Slides referencing similar topics