Taming the Complexity of STE-based Design Verification Using Program Slicing (original) (raw)

Taming the Complexity of STE-based Design Verification Using Program Slicing

Proceedings, 2006

Abstract

Abstract This paper presents the development of a hierarchical methodology for speeding-up a symbolic trajectory evaluation (STE) based verification flow, using" program slicing" techniques. An overview of the proposed methodology is described, along with the details ...

Flemming Andersen hasn't uploaded this paper.

Let Flemming know you want this paper to be uploaded.

Ask for this paper to be uploaded.