Giter VIP home page Giter VIP logo

fvutils's Projects

bitwuzla icon 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”.

boolector icon boolector

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

btor2tools icon btor2tools

A generic parser and tool package for the BTOR2 format.

ccrt icon ccrt

C++ library for constrained-random testing

cocotb-stub-sim icon cocotb-stub-sim

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

fltools icon fltools

Utilities for working with EDA Filelists

ivpm icon ivpm

IP and Verification Package Manager

libcovdb icon libcovdb

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

mkdv icon mkdv

Makefiles to run cocotb and pybfm testbench environments on multiple simulators

munit-nano icon munit-nano

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

py-hpi icon py-hpi

Python/Simulator integration using procedure calls

pyhdl-if icon pyhdl-if

Python interface for cross-calling with HDL

pyhvl-rpc icon pyhvl-rpc

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

pytest-fv icon pytest-fv

Support library for capturing HDL test suites via Python unit tests

pyucis icon pyucis

Python API to Unified Coverage Interoperability Standard (UCIS) Data

pyvsc icon pyvsc

Python packages providing a library for Verification Stimulus and Coverage

scvpi icon scvpi

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

testsuite-runner icon testsuite-runner

TestSuite Runner is a script infrastructure targeted managing verification regression suites

uvm-py icon uvm-py

Python implementation of the UVM API

uvmf-core icon uvmf-core

Core UVM Framework libraries with modifications for mkdv

uvmf-full icon uvmf-full

Full UVM Framework snapshot, including docs

vlsim icon vlsim

Python wrapper and run infrastructure for Verilator

Recommend Projects

  • React photo React

    A declarative, efficient, and flexible JavaScript library for building user interfaces.

  • Vue.js photo Vue.js

    🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.

  • Typescript photo Typescript

    TypeScript is a superset of JavaScript that compiles to clean JavaScript output.

  • TensorFlow photo TensorFlow

    An Open Source Machine Learning Framework for Everyone

  • Django photo Django

    The Web framework for perfectionists with deadlines.

  • D3 photo D3

    Bring data to life with SVG, Canvas and HTML. 📊📈🎉

Recommend Topics

  • javascript

    JavaScript (JS) is a lightweight interpreted programming language with first-class functions.

  • web

    Some thing interesting about web. New door for the world.

  • server

    A server is a program made to process requests and deliver data to clients.

  • Machine learning

    Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.

  • Game

    Some thing interesting about game, make everyone happy.

Recommend Org

  • Facebook photo Facebook

    We are working to build community through open source technology. NB: members must have two-factor auth.

  • Microsoft photo Microsoft

    Open source projects and samples from Microsoft.

  • Google photo Google

    Google ❤️ Open Source for everyone.

  • D3 photo D3

    Data-Driven Documents codes.