UCIS

Combining assertion-based verification techniques with emulation makes for easier debug, better coverage and greater functional efficiency.

Verification coverage attempts to at least provide a partial answer to the question: "How do you know you are finished verifying?" It involves the combination of a number of techniques.