44 projects
pyhdl-if
Python interface for HDL programming interfaces
pyhdl-call-if
Python interface for HDL programming interfaces
pyhdl-tlm-if
Python interface for HDL programming interfaces
pyhdl-pi-if
Python interface for HDL programming interfaces
pyvsc
pyvsc (Verification Stimulus and Coverage) is a Python package for generating randomized stimulus and defining and collecting functional coverage.
ivpm
IVPM (IP and Verification Package Manager) is a project-internal package manager.
pyvsc-dataclasses
Front-end for capturing Verification Stimulus and Coverage constructs using dataclasses
pytypeworks
PyTypeWorks provides utilities for decorator-driven type manipulation and introspection.
vsc-solvers
Core Verification Stimulus and Coverage library
zuspec-cli
Co-specification of hardware, software, design, and test behavior
pyapi-compat-if
Core Verification Stimulus and Coverage library
zuspec-arl-eval
Core ARL data model library
zuspec-be-py
Co-specification of hardware, software, design, and test behavior
zuspec-py
Co-specification of hardware, software, design, and test behavior
debug-mgr
Simple debug manager for use of C++ Python extensions
zuspec-parser
Provides a PSS parser and related tools
zuspec-fe-parser
Provides a PSS parser and related tools
vsc-dm
Core Verification Stimulus and Coverage library
zuspec-arl-dm
Core ARL data model library
zuspec-sv
Core ARL data model library
pyastbuilder
Utility for generating AST classes from a yaml description
PyBoolector
Python wrapper around the Boolector SMT solver
ciostream
Provides C++ iostream Cython wrappers
pyucis
PyUCIS provides a Python API for manipulating UCIS coverage data.
zuspec
Co-specification of hardware, software, design, and test behavior
zuspec-dataclasses
Front-end for capturing Action Relation Level models using dataclasses
mkdv
mkdv is a Makefile-based mechanism for running Design Verification tools with a Python regression runner
zuspec-be-sw
Backend library to generate software output
pss-scrambler
PSS Scrambler replaces user-specified identifiers with random names.
libarl
Core ARL model evaluator library
libvsc
Core Verification Stimulus and Coverage library
pyarl-dataclasses
Front-end for capturing Action Relation Level models using dataclasses
fltools
Provides utilities for working with EDA Filelists
vte
Template-driven content generation script focused on verification
tblink-rpc-core
Provides the core TbLink-RPC library
tblink-rpc-hdl
Provides a TbLink-RPC integration for HDL environments
pyucis-viewer
PyUCIS Viewer QT5-based viewer for UCIS data.
pygraphviz-bin
Pre-compiled GraphViz wrapped in Python
vlsim
vlsim is a wrapper around Verilator that adds in a simple C++ front-end for clock generation and trace control
pyyaml-srcinfo-loader
Provides a loader for PyYAML that annotates source info on returned elements
pssparser
pssparser provides an Accellera PSS parser implemented with ANTLR and Python
py-vsc
py-vsc (Verification Stimulus and Coverage) is a Python package for generating randomized stimulus and defining and collecting functional coverage.
pybfms-generic-sram
pybfms_generic_sram provides bus functional models for the SRAM protocols
pybfms
PyBFMs provides core libraries and scripts to support Python BFMs driving HDL environments
