fvutils

fvutils's repositories

pyvsc

Python packages providing a library for Verification Stimulus and Coverage

Language:PythonApache-2.0105 15 159

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.010 5 4

py-hpi

Python/Simulator integration using procedure calls

Language:PythonApache-2.0800

vlsim

Python wrapper and run infrastructure for Verilator

Language:PythonApache-2.06 20

googletest-hdl

GoogleTest Integration into various HDL environments

Language:C++Apache-2.05 50

pyhdl-if

Python interface for cross-calling with HDL

Language:PythonApache-2.0500

pyucis-viewer

QT-based viewer for UCIS coverage data

Language:PythonApache-2.05 2 1

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

Core UVM Framework libraries with modifications for mkdv

Language:PythonApache-2.03 20

uvmf-full

Full UVM Framework snapshot, including docs

Language:SystemVerilogApache-2.03 10

ivpm

IP and Verification Package Manager

Language:PythonBSD-3-Clause2 20

pytest-fv

Support library for capturing HDL test suites via Python unit tests

Language:PythonApache-2.02 10

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

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

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

cocotb-dpi

DPI-based launcher for cocotb library

Language:PythonApache-2.0010

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

uvm-cpp

UVM cast in C++11

Apache-2.0000

zephyr-cosim

Package to enable host cosimulation of software a simulation environment

Language:CApache-2.0020