Questa verification libary

Downloads
,
1

hi,
when using questa simulator, questa verification library is default feature.
it contains assertion checkers. but dont know details of it.
inside those files some coverage code is also written and its not getting covered which is hampering our total coverage percentage.
i want to know basically what do these assertions checkers do and when we need to ues them?

Thanks,
Gauri

2

Hi Patankar,
QVL is very well documented and yes the coverage features are part of the QVL. One could ignore them if needed via `define (look for exact define name in their manual). Each checker is nicely documented.

HTH
Srini