Optimum domain partitioning to increase functional verification coverage

Abstract

Constrained Random Verification (CRV) is becoming the mainstream methodology for the functional verification of complex System on Chip (SoC) designs. In CRV, constraint satisfaction problem (CSP) solvers are used to generate the input stimulus required for verification. In order to achieve the verification closure, CRV tools have to produce multiple… (More)
DOI: 10.1109/ISQED.2015.7085462

7 Figures and Tables

Topics

  • Presentations referencing similar topics