xlsynth / bedrock-rtlLinks
High quality and composable RTL libraries in SystemVerilog
☆25Updated last week
Alternatives and similar repositories for bedrock-rtl
Users that are interested in bedrock-rtl are comparing it to the libraries listed below
Sorting:
- A SystemVerilog source file pickler.☆57Updated 8 months ago
- Open source RTL simulation acceleration on commodity hardware☆28Updated 2 years ago
- Python API to Unified Coverage Interoperability Standard (UCIS) Data☆26Updated 4 months ago
- YosysHQ SVA AXI Properties☆40Updated 2 years ago
- Hardware generator debugger☆74Updated last year
- DASS HLS Compiler☆29Updated last year
- ☆31Updated last year
- fakeram generator for use by researchers who do not have access to commercial ram generators☆37Updated 2 years ago
- SystemVerilog Linter based on pyslang☆31Updated last month
- CHIPKIT: An agile, reusable open-source framework for rapid test chip development☆41Updated 5 years ago
- A 32-bit RISC-V Processor Designed with High-Level Synthesis☆52Updated 5 years ago
- Python interface for cross-calling with HDL☆32Updated 2 weeks ago
- This is a Clang tool that parses SystemC models, and synthesizes Verilog from it.☆82Updated 8 months ago
- Proposed RISC-V Composable Custom Extensions Specification☆71Updated last year
- Python library of AST nodes for SystemVerilog/VHDL, code generator, transpiler and translator☆36Updated 2 weeks ago
- Python library for operations with VCD and other digital wave files☆51Updated 2 weeks ago
- Equivalence checking with Yosys☆45Updated 2 weeks ago
- ☆26Updated last year
- CIRCT-based HLS compilation flows, debugging, and cosimulation tools.☆49Updated last year
- contains TLM2 based interfaces for AXI, ACE, CHI and other standard protocols☆55Updated 2 months ago
- A Python package for generating HDL wrappers and top modules for HDL sources☆33Updated 2 weeks ago
- Documentation for the entire CGRAFlow☆19Updated 3 years ago
- Re-coded Xilinx primitives for Verilator use☆49Updated this week
- Stencil with Optimized Dataflow Architecture☆16Updated last year
- ILA Model Database☆23Updated 4 years ago
- Python bindings for slang, a library for compiling SystemVerilog☆59Updated 5 months ago
- Debuggable hardware generator☆69Updated 2 years ago
- An opinionated build environment for EDA projects☆19Updated 2 months ago
- ☆32Updated 5 months ago
- AutoSVA is a tool to automatically generate formal testbenches for unit-level RTL verification. The goal is to, based on annotations made…☆83Updated last year