Optimum domain partitioning to increase functional verification coverage


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


  • Presentations referencing similar topics