ImperasFC

Tool

ImperasFC is a functional coverage tool for RISC-V verification that auto-generates SystemVerilog coverage models from ISA features or specifications, supports coverage-gap analysis and coverage closure, and integrates with Verdi for coverage reporting.

First seen 5/25/2026

Last seen 5/26/2026

Evidence 3 chunks

Wiki v1

WIKI

Overview

ImperasFC is a Functional Coverage (FC) tool used in RISC-V verification flows. The available evidence describes ImperasFC, together with ImperasSC, as a tool that auto-generates SystemVerilog coverage models for RISC-V ISA features and provides detailed metrics for identifying coverage gaps. [C1]

Role in functional coverage

READ FULL ARTICLE →

NEIGHBORHOOD

No graph connections found for this entity yet. It may appear in future ingestion runs.

explore full graph →

RELATIONSHIPS

4 connections

SystemVerilog Coverage Models introduces → 98% 2e

ImperasFC generates SystemVerilog coverage models directly from the ISA specification.

Functional Coverage implements → 98% 2e

ImperasFC is a functional coverage tool that auto-generates SystemVerilog coverage models for RISC-V ISA features.

Verdi ← uses 95% 2e

ImperasFC results are merged and viewed in Verdi for unified coverage analysis.

Hybrid Verification Methodology ← uses 96% 1e

The hybrid methodology uses ImperasFC for functional coverage analysis to identify gaps after random sweeps.

LINKED ENTITIES

4 links

SystemVerilog Coverage Models GENERATES Extracted graph relationship

Functional Coverage MEASURES Extracted graph relationship

Verdi INTEGRATES_WITH Extracted graph relationship

Coverage Closure SUPPORTS Extracted graph relationship

CITATIONS

7 sources

7 citations — click to expand

[1] C1: ImperasFC is a RISC-V functional coverage tool that auto-generates SystemVerilog coverage models and provides coverage-gap metrics. source

[2] C2: Functional Coverage and Stimulus Coverage measure how thoroughly stimulus exercises ISA features and system behaviours; automatically generated models such as ImperasFC/SC provide insight into coverage gaps. source

[3] C3: A typical hybrid verification workflow uses constrained-random sweeps followed by functional coverage analysis with ImperasFC, which generates SystemVerilog coverage models directly from the ISA specification. source

[4] C4: ImperasFC functional coverage is conventional SystemVerilog that can be viewed in Verdi, and users can extend the models for custom features and cross-coverage points. source

[5] C5: ImperasFC integrates with Verdi for functional coverage reporting and unified coverage analysis. source

[6] C6: ImperasFC supports coverage closure by identifying gaps after stimulus generation, with results merged in Verdi and failing cases replayed in VCS. source

[7] C7: Coverage analysis can begin before RTL using ImperasSC for shift-left verification, while ImperasFC is used in the later functional coverage workflow. source