ConfigDrivenV
ToolFirst 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 ConfigDrivenV: A Python-Integrated UVM Testbench for Automated RTL Verification with Self-Checking Scoreboard ← introduces 100% 2e
The paper introduces ConfigDrivenV as a novel Python-UVM co-verification framework.
ConfigDrivenV implements a Python-UVM co-verification approach.
ConfigDrivenV is built on a two-layer pipeline architecture.
ConfigDrivenV uses a Python golden reference model for expected state computation.
ConfigDrivenV performs cycle-accurate comparison via a self-checking scoreboard.
ConfigDrivenV's UVM layer is implemented in SystemVerilog following UVM methodology.
ConfigDrivenV uses Python for test generation and golden reference modeling.
ConfigDrivenV's UVM testbench is implemented in SystemVerilog.
ConfigDrivenV uses ModelSim Intel FPGA Starter Edition for simulation.
ConfigDrivenV uses Python-based constrained random test generation.
ConfigDrivenV bridges Python and UVM layers via file I/O using $fscanf.
ConfigDrivenV is validated on a custom 16-bit RISC-style processor.
ConfigDrivenV is validated on a UART serial communication controller.
ConfigDrivenV employs bug injection experiments to validate testbench sensitivity.
ConfigDrivenV evaluates simple_cpu.v as DUT1.
ConfigDrivenV evaluates simple_cpu_buggy.v and detects all introduced bugs.
ConfigDrivenV evaluates the UART TX component.
ConfigDrivenV evaluates the UART RX component.
ConfigDrivenV performs cycle-accurate comparison in its scoreboard.
ConfigDrivenV's Python layer generates random instruction sequences.
ConfigDrivenV's UVM environment connects components via TLM analysis ports.
ConfigDrivenV implements automated RTL verification.
ConfigDrivenV implements functional verification for digital hardware designs.
ConfigDrivenV's paper surveys RISC-V instruction set verification as related work.
ConfigDrivenV targets the simulation domain as an alternative to formal verification.