Skip to content
STIMSMITH

ConfigDrivenV

Tool
First seen 8/6/2026
Last seen 8/6/2026
Evidence 11 chunks

NEIGHBORHOOD

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

explore full graph →

RELATIONSHIPS

25 connections
The paper introduces ConfigDrivenV as a novel Python-UVM co-verification framework.
Python-UVM Co-Verification implements → 100% 2e
ConfigDrivenV implements a Python-UVM co-verification approach.
Two-Layer Verification Architecture implements → 100% 2e
ConfigDrivenV is built on a two-layer pipeline architecture.
Golden Reference Model uses → 100% 2e
ConfigDrivenV uses a Python golden reference model for expected state computation.
Self-Checking Scoreboard uses → 100% 2e
ConfigDrivenV performs cycle-accurate comparison via a self-checking scoreboard.
Universal Verification Methodology (UVM) uses → 100% 2e
ConfigDrivenV's UVM layer is implemented in SystemVerilog following UVM methodology.
Python uses → 100% 2e
ConfigDrivenV uses Python for test generation and golden reference modeling.
SystemVerilog uses → 100% 2e
ConfigDrivenV's UVM testbench is implemented in SystemVerilog.
ModelSim Intel FPGA Starter Edition uses → 100% 2e
ConfigDrivenV uses ModelSim Intel FPGA Starter Edition for simulation.
constrained-random test generation uses → 100% 2e
ConfigDrivenV uses Python-based constrained random test generation.
ConfigDrivenV bridges Python and UVM layers via file I/O using $fscanf.
16-bit RISC Processor evaluates → 100% 2e
ConfigDrivenV is validated on a custom 16-bit RISC-style processor.
UART Controller evaluates → 100% 2e
ConfigDrivenV is validated on a UART serial communication controller.
Bug Injection uses → 100% 2e
ConfigDrivenV employs bug injection experiments to validate testbench sensitivity.
simple_cpu.v evaluates → 100% 2e
ConfigDrivenV evaluates simple_cpu.v as DUT1.
simple_cpu_buggy.v evaluates → 100% 2e
ConfigDrivenV evaluates simple_cpu_buggy.v and detects all introduced bugs.
uart_tx.v evaluates → 100% 2e
ConfigDrivenV evaluates the UART TX component.
uart_rx.v evaluates → 100% 2e
ConfigDrivenV evaluates the UART RX component.
cycle-accurate simulation uses → 100% 2e
ConfigDrivenV performs cycle-accurate comparison in its scoreboard.
Random Instruction Sequence Generation uses → 100% 2e
ConfigDrivenV's Python layer generates random instruction sequences.
TLM Analysis Ports uses → 95% 2e
ConfigDrivenV's UVM environment connects components via TLM analysis ports.
RTL verification implements → 100% 1e
ConfigDrivenV implements automated RTL verification.
Functional Verification implements → 100% 1e
ConfigDrivenV implements functional verification for digital hardware designs.
RISC-V Instruction Set Verification mentions → 80% 1e
ConfigDrivenV's paper surveys RISC-V instruction set verification as related work.
formal verification ← compares with 85% 1e
ConfigDrivenV targets the simulation domain as an alternative to formal verification.