masc-ucsc / fluid
Fluid Pipelines
☆11Updated 6 years ago
Alternatives and similar repositories for fluid:
Users that are interested in fluid are comparing it to the libraries listed below
- Implementation of the Advanced Encryption Standard in Chisel☆20Updated 2 years ago
- ☆11Updated 3 years ago
- Provides dot visualizations of chisel/firrtl circuites☆12Updated 6 years ago
- Fast PnR toolchain for CGRA☆18Updated 8 months ago
- An automatic clock gating utility☆45Updated 8 months ago
- Open source RTL simulation acceleration on commodity hardware☆25Updated last year
- Collection of test cases for Yosys☆18Updated 3 years ago
- A fault-injection framework using Chisel and FIRRTL☆34Updated 2 years ago
- A coverage library for Chisel designs☆11Updated 5 years ago
- ☆55Updated 2 years ago
- Simple UVM environment for experimenting with Verilator.☆19Updated 2 months ago
- Universal Verification Methodology (UVM) base libraries, with edits for Verilator☆26Updated 4 years ago
- Open source fpga project leveraging vtr CAD flow.☆26Updated 2 years ago
- Trying to verify Verilog/VHDL designs with formal methods and tools☆41Updated last year
- A configurable SRAM generator☆47Updated 2 months ago
- ☆31Updated 2 months ago
- Python library for working Standard Delay Format (SDF) Timing Annotation files.☆28Updated 8 months ago
- Chisel wrapper and accelerators for Columbia's Embedded Scalable Platform (ESP)☆23Updated 5 years ago
- BFM Tester for Chisel HDL☆14Updated 3 years ago
- SimCommand is a library for writing high-performance RTL testbenches with simulation threads in Scala using chiseltest.☆14Updated last year
- ☆22Updated last year
- Implementation of low-level hardware arithmatic operations in Chisel☆7Updated 3 weeks ago
- CoreIR Symbolic Analyzer☆64Updated 4 years ago
- SCARV: a side-channel hardened RISC-V platform☆24Updated 2 years ago
- This document adopts the method from the XAPP1230 for doing readback capture on Xilinx UltraScale devices and shows how to migrate the sa…☆15Updated 5 years ago
- ☆23Updated 4 years ago
- AXI Formal Verification IP☆20Updated 3 years ago
- A tool that converts SystemVerilog to Verilog. Uses Design Compiler, so it is 100% compatible.☆40Updated last year
- ☆26Updated 4 years ago
- AutoSVA is a tool to automatically generate formal testbenches for unit-level RTL verification. The goal is to, based on annotations made…☆76Updated 11 months ago