fvutils

fvutils's repositories

pyvsc

Python packages providing a library for Verification Stimulus and Coverage

Language:PythonApache-2.0105 15 160

pyucis

Python API to Unified Coverage Interoperability Standard (UCIS) Data

Language:PythonApache-2.020 3 6

vte

Verification Template Engine is a Jinja2-based template engine targeted at verification engineers

Language:PythonApache-2.011 5 4

py-hpi

Python/Simulator integration using procedure calls

Language:PythonApache-2.0800

pyucis-viewer

QT-based viewer for UCIS coverage data

Language:PythonApache-2.06 2 1

vlsim

Python wrapper and run infrastructure for Verilator

Language:PythonApache-2.06 20

cocotb-stub-sim

Stubs out the cocotb simulator interface to support unit testing Python code without a simulator

Language:PythonApache-2.04 20

mkdv

Makefiles to run cocotb and pybfm testbench environments on multiple simulators

Language:PythonApache-2.04 2 1

pyuvm-dataclasses

Apply dataclasses concept to testbench automation in Python

Language:PythonApache-2.04 10

uvmf-core-mkdv

Core UVM Framework libraries with modifications for mkdv

Language:SystemVerilogApache-2.0300

uvmf-full

Full UVM Framework snapshot, including docs

Language:SystemVerilogApache-2.03 10

ivpm

IP and Verification Package Manager

Language:PythonBSD-3-Clause2 20

pytbgen

Generator framework for PyUVM leveraging UVM Framework concepts

Language:PythonApache-2.0200

scvpi

Provides a stub implementation of (System)Verilog VPI functions for SystemC

Language:CApache-2.02 30

fltools

Utilities for working with EDA Filelists

Language:PythonApache-2.01 20

fvutils.github.io

Landing page for FVUtils project

Language:CSSApache-2.0100

pyhvl-rpc

Library for implementing remote procedure calls between Python and a high-level verification language (HVL)

Language:PythonApache-2.01 30

pytbgen-templates-pyuvm

PyUVM templates for use by the UVM Framework scripts

Language:JinjaApache-2.0100

pytypeworks

Utilities supporting decorator-based type manipulation and introspection

Language:PythonApache-2.01 10

testsuite-runner

TestSuite Runner is a script infrastructure targeted managing verification regression suites

Language:MakefileApache-2.01 30

uvm-py

Python implementation of the UVM API

Language:PythonApache-2.0100

uvmf-yaml-utils

Utility library for manipulating UVMF Framework YAML descriptions

Language:PythonNOASSERTION100

bitwuzla

Bitwuzla is a Satisfiability Modulo Theories (SMT) solver for the theories of fixed-size bit-vectors, floating-point arithmetic, arrays and uninterpreted functions and their combinations. Its name is derived from an Austrian dialect expression that can be translated as “someone who tinkers with bits”.

NOASSERTION000

boolector

A Satisfiability Modulo Theories (SMT) solver for the theories of fixed-size bit-vectors, arrays and uninterpreted functions.

Language:SMTNOASSERTION010

btor2tools

A generic parser and tool package for the BTOR2 format.

Language:CNOASSERTION010

libcovdb

Implements the UCIS coverage interchange API and several back-end databases

Apache-2.0000

lingeling_pypi

Lingeling SAT Solver

Language:CMIT010

munit-nano

µnit-nano is a fork of µnit, a small testing framework for C. µnit-nano contains customizations for low-resource embedded systems

Language:CNOASSERTION010

uvmf-architect

Graphical utilities for creating UVM Framework descriptions

Apache-2.0000

zephyr-cosim

Package to enable host cosimulation of software a simulation environment

Language:CApache-2.0020