will-keen / constrainedrandom
A Python package for creating and solving constrained randomization problems.
☆11Updated 7 months ago
Alternatives and similar repositories for constrainedrandom
Users that are interested in constrainedrandom are comparing it to the libraries listed below
Sorting:
- Making cocotb testbenches that bit easier☆29Updated last month
- An opinionated build environment for EDA projects☆17Updated last month
- Open source RTL simulation acceleration on commodity hardware☆25Updated 2 years ago
- Python/C/RTL cosimulation with Xilinx's xsim simulator☆65Updated 8 months ago
- SystemVerilog Linter based on pyslang☆30Updated 2 weeks ago
- Code to read various RTL simulator wave formats (fsdb, shm, vcd, wlf) into python and apply it as stimuli via cocotb/plain vpi.☆59Updated 3 years ago
- Implementation of post-process coverage, and batch waveform search☆15Updated 3 years ago
- ☆21Updated this week
- This repo is created to include illustrative examples on object oriented design pattern in SV☆56Updated 2 years ago
- Python interface for cross-calling with HDL☆32Updated this week
- Limited python / cocotb interface to Xilinx/AMD Vivado simulator.☆40Updated 3 months ago
- Python API to Unified Coverage Interoperability Standard (UCIS) Data☆24Updated 2 months ago
- Functional Coverage and Constrained Randomization Extensions for Cocotb☆113Updated last year
- Synthesizable real number library in SystemVerilog, supporting both fixed- and floating-point formats☆44Updated 4 years ago
- A mock framework for use with SVUnit☆18Updated last year
- LEN5 is a configurable, speculative, out-of-order, 64-bit RISC-V microprocessor targetting etherogeneus systems on chip.☆16Updated last year
- An Open-Source Toolchain for Top-Metal IC Art and Ultra-High-Fidelity GDSII Renders☆14Updated 3 weeks ago
- SystemVerilog & Verilog Module I/O parser and printer☆25Updated 3 years ago
- Mirror of the Universal Verification Methodology from sourceforge☆33Updated 10 years ago
- An open source, parameterized SystemVerilog digital hardware IP library☆26Updated 11 months ago
- Python Tool for UVM Testbench Generation☆52Updated 11 months ago
- SystemVerilog 2017 Pre-processor, Parser, Elaborator, UHDM Compiler. Provides IEEE Design/TB C/C++ VPI and Python AST API. Compiles on Li…☆26Updated last month
- SystemVerilog Direct Programming Interface (DPI) Tutorial☆60Updated 4 years ago
- YosysHQ SVA AXI Properties☆39Updated 2 years ago
- Running Python code in SystemVerilog☆68Updated 9 months ago
- Python packages providing a library for Verification Stimulus and Coverage☆120Updated last week
- fakeram generator for use by researchers who do not have access to commercial ram generators☆37Updated 2 years ago
- Introductory course into static timing analysis (STA).☆94Updated 3 weeks ago
- RTL sources of the High-Performance L1 Dcache (HPDcache) for OpenHW CV cores☆72Updated last month
- Generates a SystemVerilog assertion interface for a given SV RTL design☆16Updated last month