Post-Silicon Validation Tool based on REVERSI
☆12Dec 10, 2025Updated 2 months ago
Alternatives and similar repositories for PATARA
Users that are interested in PATARA are comparing it to the libraries listed below
Sorting:
- A tutorial for setting up Symbolic Quick Error Detection (SQED) using the model checker, CoSA, on the Ride Core☆12May 24, 2019Updated 6 years ago
- ☆14Dec 27, 2024Updated last year
- GeST (Generating Stress-Tests) is a Genetic Algorithm framework for automatic hardware stress-test generation. Related scientific publica…☆14May 7, 2019Updated 6 years ago
- ☀️ C Path Tracer☆11Nov 26, 2023Updated 2 years ago
- Fabric generator and CAD tools graphical frontend☆17Aug 5, 2025Updated 7 months ago
- Memory consistency model checking and test generation library.☆16Oct 14, 2016Updated 9 years ago
- Verilog design files and Icestudio file for streaming the OV7670 camera using ULX3S FPGA Board☆23Nov 17, 2021Updated 4 years ago
- Open-source PDK version manager☆40Nov 25, 2025Updated 3 months ago
- BRISKI ( Barrel RISC-V for Kilo-core Implementations ) is a fast and compact RISC-V barrel processor core that emphasize high throughput …☆29Nov 28, 2025Updated 3 months ago
- Characterizer☆31Nov 19, 2025Updated 3 months ago
- ☆14Dec 14, 2022Updated 3 years ago
- Open-source RHBD (Radiation Hardened by Design) Standard-Cell Library for SKY130☆13Feb 19, 2026Updated 2 weeks ago
- Vim plugin for Bluespec SystemVerilog (BSV)☆11Nov 8, 2020Updated 5 years ago
- Wireless USB Disk for Pendrive S3☆18Jul 11, 2024Updated last year
- Python utils for atmospheric & ocean sciences. Includes tools for popular datasets such as Aeronet, models (WRF, ROMS), satellite retriev…☆13Jan 4, 2026Updated 2 months ago
- Excel to Json online converter made with Python/Flask and React.js☆12Jan 4, 2023Updated 3 years ago
- simple code for fifo,lru,mru and opt page replacement☆11Dec 25, 2022Updated 3 years ago
- Medium Access Control layer of 802.15.4☆13Nov 14, 2014Updated 11 years ago
- ☆12Mar 4, 2024Updated 2 years ago
- Open-source repository for a standard-cell library characterizer using complete open-source tools☆47Feb 21, 2026Updated last week
- A fork of Yosys that integrates the CellIFT pass☆13Jul 23, 2025Updated 7 months ago
- New Dark FB☆15Sep 16, 2019Updated 6 years ago
- ☆11Sep 15, 2022Updated 3 years ago
- ☆11Jan 24, 2022Updated 4 years ago
- Code formatter plugin for Acode editor for Android☆10Jun 24, 2022Updated 3 years ago
- Fakeshellは仮想的なシェル環境を提供するパッケージです。☆14Jan 17, 2023Updated 3 years ago
- Common tree for Xiaomi sm8350 devices☆10Apr 29, 2024Updated last year
- 🙅♀️🙆♂️ Minimal, type-safe and reactive access control☆12Apr 18, 2023Updated 2 years ago
- Processor CI project Website☆10Jul 1, 2025Updated 8 months ago
- Alliance VLSI CAD Tools (LIP6)☆19Dec 11, 2025Updated 2 months ago
- Standard Library Concepts Emulation☆14Feb 8, 2021Updated 5 years ago
- ☆12Feb 15, 2026Updated 2 weeks ago
- ☆16Sep 12, 2025Updated 5 months ago
- Set of GitHub Actions for me to build my favorite projects.☆10Nov 1, 2025Updated 4 months ago
- Mock3 is a wrapper using ethers.js to help develop and run UI tests for DApps on Ethereum☆11May 24, 2023Updated 2 years ago
- Cachebench, with hacks to make it run on SmartOS / x86.☆12Feb 15, 2012Updated 14 years ago
- RTLMeter benchmark suite☆29Feb 24, 2026Updated last week
- Conversion between javabeans and spreadsheets in one line of code☆13Jan 27, 2024Updated 2 years ago
- Testing Ibex build using Yosys and open source toolchains.☆11Oct 2, 2021Updated 4 years ago