It also gives suggestions on: How to add assertions in PSL or OVL in a design How to add assertions in an existing or legacy IP How ... Added assertions using OVL libraries in the top-level module ...