Overview

ImperasSC is described as part of the ImperasFC/SC tool set for RISC-V verification. The evidence identifies ImperasFC/SC as Functional Coverage and Stimulus Coverage tools that auto-generate SystemVerilog coverage models for RISC-V ISA features, provide detailed coverage metrics, and integrate with Verdi. [C1]

Role in RISC-V verification

Stimulus Coverage is defined as a metric that measures how thoroughly verification stimulus has exercised ISA features and system behaviours. ImperasSC is associated with this stimulus-coverage role and is used to provide insight into coverage gaps during RISC-V verification. [C2]

Shift-left use

ImperasSC is specifically cited as enabling pre-RTL coverage analysis. In the described RISC-V verification flow, this supports shift-left verification by moving validation earlier in the design process, before RTL maturity. [C3]

Tool-flow integration

The evidence states that ImperasFC/SC results can be merged into Verdi as part of coverage and debug integration. This places ImperasSC in a broader verification workflow where coverage reporting and debug are coordinated with other RISC-V verification activities. [C4]

Related concepts

• Stimulus Coverage: ImperasSC is tied to Stimulus Coverage, which measures how thoroughly stimulus exercises ISA features and system behaviours. [C2]
• Shift-Left Verification: ImperasSC enables pre-RTL coverage analysis, helping move validation earlier in the verification flow. [C3]