Verification planning requires identification of the key features from the design specification along with prioritization and testing of the functionality that leads to the development of a coverage model.

Functional coverage is an integral part in verifying the completeness of an IP. The key to functional coverage is to make an exhaustive verification plan containing coverpoints and crosses which are extracted from the protocol specification. This paper explains the need for coverage-driven verification for Non-Volatile Memory Express (NVMe), and how Questa VIP can achieve it.