Skip to Main Content
产品演示

Questa CoverCheck Demo

预估观看时长:10 分钟
Questa CoverCheck is an automatic formal solution for achieving code coverage closure faster. The tool addresses an incontrovertible fact of verification: no matter the combination of techniques used, and even after running an exhaustive battery of tests, some fraction of uncovered code always remains.

In this session, you will learn:


This session will demo the Questa CoverCheck tool and will review features including the details window, coverage checks window, and source debug features.

分享