* Automatic and user specified checking of design properties and assumptions
* Easy to specify and maintain assertions throughout a design’s lifecycle
* Rich library of verification IP for RTL structures, standard buses, and major interfaces
* CheckerWare® and CheckerWare Monitor IP
* Uniform handling of multiple, standard assertion language formats
* CheckerWare, PSL, SVA, and OVL
* Automatic insertion of implementation-level functional coverage (structural coverage)
* Aggregation and grading of assertion activity, statistics, and coverage across regression runs