pulp-platform / ELAU
☆13Updated 8 months ago
Alternatives and similar repositories for ELAU:
Users that are interested in ELAU are comparing it to the libraries listed below
- ☆31Updated 2 months ago
- Open source RTL simulation acceleration on commodity hardware☆24Updated last year
- APB UVC ported to Verilator☆11Updated last year
- A tool that converts SystemVerilog to Verilog. Uses Design Compiler, so it is 100% compatible.☆39Updated last year
- Constrained RAndom Verification Enviroment (CRAVE)☆17Updated last year
- tools to help make the most of the limited space we have on the Google sponsored Efabless shuttles☆35Updated 2 years ago
- Characterizer☆21Updated 6 months ago
- An automatic clock gating utility☆44Updated 7 months ago
- Open source process design kit for 28nm open process☆50Updated 10 months ago
- Designs for Process-Voltage-Temperature (PVT) Sensors with MCU☆22Updated 4 years ago
- ☆17Updated 4 months ago
- SRAM☆21Updated 4 years ago
- Workshop on Open-Source EDA Technology (WOSET)☆49Updated 3 months ago
- Summer School Week 1 & 2 repo☆11Updated 2 years ago
- An open source PDK using TIGFET 10nm devices.☆47Updated 2 years ago
- SystemVerilog Linter based on pyslang☆29Updated 2 months ago
- SystemVerilog frontend for Yosys☆79Updated last week
- Common SystemVerilog package used by all RoaLogic IP with AMBA AHB3-Lite interfaces☆17Updated 10 months ago
- Library of open source Process Design Kits (PDKs)☆35Updated this week
- Open Source PHY v2☆25Updated 10 months ago
- ☆41Updated 5 years ago
- The verilog code together with cocotb testbench of BFU unit of a DIF FFT processor☆14Updated last year
- SMT-based Simultaneous Place-&-Route for Standard Cell Synthesis for PROBE 2.0☆17Updated 4 years ago
- fakeram generator for use by researchers who do not have access to commercial ram generators☆35Updated 2 years ago
- Runtime-First FPGA Interchange Routing Contest @ FPGA’24☆31Updated 2 weeks 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
- Source codes and calibration scripts for clock tree synthesis☆40Updated 5 years ago
- This repository is compilation of basics of System Verilog Assertions in context of formal verification☆20Updated 6 years ago
- tools regarding on analog modeling, validation, and generation☆21Updated last year
- YosysHQ SVA AXI Properties☆37Updated 2 years ago