Skip to content

@fvutils Functional Verification Utilities

All

    Repositories list

    43 repositories

    • sphinx-systemverilog

      Public
      Sphinx extension for documenting SystemVerilog code
      Python
      •
      Apache License 2.0
      •0•0•0•0•Updated Sep 9, 2026Sep 9, 2026

    • ivpm

      Public
      IP and Verification Package Manager
      Python
      •
      BSD 3-Clause "New" or "Revised" License
      •1•4•0•0•Updated Sep 9, 2026Sep 9, 2026

    • dv-solve

      Public
      Constraint solver focused on the needs of verification
      C
      •
      Apache License 2.0
      •0•0•0•0•Updated Sep 2, 2026Sep 2, 2026

    • agent-skills-systemrdl

      Public
      Python
      •
      Apache License 2.0
      •0•1•0•0•Updated Aug 31, 2026Aug 31, 2026

    • cento

      Public
      Apache License 2.0
      •0•0•0•0•Updated Aug 31, 2026Aug 31, 2026

    • pyvsc

      Public
      Python packages providing a library for Verification Stimulus and Coverage
      pythoncoveragerandomization
      pythoncoveragerandomizationconstraintsconstrained-randomcocotbverification-stimulusrandom-stimulusfunctional-coverage
      Python
      •
      Apache License 2.0
      •33•148•49•3•Updated Aug 31, 2026Aug 31, 2026

    • vte

      Public
      Verification Template Engine is a Jinja2-based template engine targeted at verification engineers
      Python
      •
      Apache License 2.0
      •3•14•4•1•Updated Aug 31, 2026Aug 31, 2026

    • trlog

      Public
      Trace library
      Python
      •
      Apache License 2.0
      •0•0•0•0•Updated Aug 31, 2026Aug 31, 2026

    • svdep

      Public
      SystemVerilog dependency-management tool to determine when a set of files has been modified
      Python
      •
      Apache License 2.0
      •0•0•0•0•Updated Aug 31, 2026Aug 31, 2026

    • scvpi

      Public
      Provides an implementation of (System)Verilog VPI functions for SystemC
      C
      •
      Apache License 2.0
      •2•4•0•0•Updated Aug 31, 2026Aug 31, 2026

    • pywellen-mcp

      Public
      MCP server for pywellen
      Python
      •
      Apache License 2.0
      •2•3•0•1•Updated Aug 31, 2026Aug 31, 2026

    • pyucis-viewer

      Public
      QT-based viewer for UCIS coverage data
      Python
      •
      Apache License 2.0
      •3•9•0•0•Updated Aug 31, 2026Aug 31, 2026

    • pyucis

      Public
      Python API to Unified Coverage Interoperability Standard (UCIS) Data
      functional-coverageucisaccellera-ucis
      functional-coverageucisaccellera-uciscoverage-database
      Python
      •
      Apache License 2.0
      •15•39•11•4•Updated Aug 31, 2026Aug 31, 2026

    • ml-hpi

      Public
      Defines a multi-language hierarchical procedural interface, targeted at functional verification
      Python
      •
      Apache License 2.0
      •0•0•0•0•Updated Aug 31, 2026Aug 31, 2026

    • ivpm-setup

      Public
      Github Actions support for ivpm
      Shell
      •
      Apache License 2.0
      •0•0•0•0•Updated Aug 31, 2026Aug 31, 2026

    • ivpm-build

      Public
      Project build support factored out of ivpm
      Python
      •
      Apache License 2.0
      •0•0•0•0•Updated Aug 31, 2026Aug 31, 2026

    • fvutils.github.io

      Public
      Landing page for FVUtils project
      CSS
      •
      Apache License 2.0
      •0•1•0•0•Updated Aug 31, 2026Aug 31, 2026

    • fltools

      Public
      Utilities for working with EDA Filelists
      Python
      •
      Apache License 2.0
      •0•1•0•0•Updated Aug 31, 2026Aug 31, 2026

    • pyhdl-if

      Public
      Python interface for cross-calling with HDL
      Python
      •
      Apache License 2.0
      •13•52•8•3•Updated Aug 31, 2026Aug 31, 2026

    • peakrdl-regvue

      Public
      Adapt the RegVue (web-based register explorer) to PeakRDL
      Apache License 2.0
      •0•0•0•0•Updated Feb 27, 2026Feb 27, 2026

    • sysmesh

      Public
      Runtime framework for creating multi-abstraction system simulations
      SystemVerilog
      •
      Apache License 2.0
      •0•0•0•0•Updated Feb 18, 2026Feb 18, 2026

    • dv-transaction-trace

      Public
      SystemVerilog bindings to perform basic logging with Perfetto
      Python
      •
      Apache License 2.0
      •0•0•0•0•Updated Feb 7, 2026Feb 7, 2026

    • .github

      Public
      Landing page content
      Apache License 2.0
      •0•0•0•0•Updated Feb 7, 2026Feb 7, 2026

    • qemu-model-loader

      Public
      QEMU patches to support loading shared-library models
      Shell
      •
      GNU General Public License v3.0
      •0•0•0•0•Updated Feb 1, 2026Feb 1, 2026

    • coretrace-utils

      Public
      Utilities for manipulating processor instruction-execution traces
      Apache License 2.0
      •0•0•0•0•Updated Dec 11, 2025Dec 11, 2025

    • pyvsc-boolector

      Public
      Fork of (archived) upstream boolector to provide binary releases for PyVSC
      SMT
      •
      Other
      •70•0•0•0•Updated Nov 13, 2025Nov 13, 2025

    • pytest-fv

      Public archive
      Support library for capturing HDL test suites via Python unit tests
      Python
      •
      Apache License 2.0
      •1•2•0•0•Updated Jun 6, 2025Jun 6, 2025

    • mkdv

      Public archive
      Makefiles to run cocotb and pybfm testbench environments on multiple simulators
      Python
      •
      Apache License 2.0
      •1•4•1•0•Updated Apr 19, 2025Apr 19, 2025

    • vlsim

      Public archive
      Python wrapper and run infrastructure for Verilator
      Python
      •
      Apache License 2.0
      •0•7•0•0•Updated Apr 16, 2024Apr 16, 2024

    • uvmf-core

      Public
      Core UVM Framework libraries with modifications for mkdv
      Python
      •
      Apache License 2.0
      •0•3•0•0•Updated Mar 14, 2024Mar 14, 2024
    ProTip! When viewing an organization's repositories, you can use the props. filter to filter by custom property.