tubs-eis / PATARAView external linksLinks
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:
- ☆14Dec 27, 2024Updated last year
- 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
- 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☆10Nov 26, 2023Updated 2 years ago
- Fabric generator and CAD tools graphical frontend☆17Aug 5, 2025Updated 6 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☆39Nov 25, 2025Updated 2 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 2 months ago
- Characterizer☆31Nov 19, 2025Updated 2 months ago
- ☆14Dec 14, 2022Updated 3 years ago
- Open-source RHBD (Radiation Hardened by Design) Standard-Cell Library for SKY130☆13Feb 6, 2026Updated last week
- Medium Access Control layer of 802.15.4☆13Nov 14, 2014Updated 11 years ago
- Python utils for atmospheric & ocean sciences. Includes tools for popular datasets such as Aeronet, models (WRF, ROMS), satellite retriev…☆13Jan 4, 2026Updated last month
- Vim plugin for Bluespec SystemVerilog (BSV)☆11Nov 8, 2020Updated 5 years ago
- simple code for fifo,lru,mru and opt page replacement☆11Dec 25, 2022Updated 3 years ago
- ☆12Mar 4, 2024Updated last year
- msfinance offers Pythonic way to download market data from morningstar.com☆15Feb 15, 2025Updated 11 months ago
- Open-source repository for a standard-cell library characterizer using complete open-source tools☆46Jan 23, 2026Updated 3 weeks ago
- Excel to Json online converter made with Python/Flask and React.js☆12Jan 4, 2023Updated 3 years ago
- ☆16Sep 12, 2025Updated 5 months ago
- Glimmer Wordle - Play Wordle Endlessly with No Limit!☆12Nov 8, 2023Updated 2 years ago
- OpenROAD Agent. This repository contain the model to train and testing the model using EDA Corpus dataset.☆21Jul 24, 2025Updated 6 months ago
- ☆11Jan 24, 2022Updated 4 years ago
- Standard Library Concepts Emulation☆14Feb 8, 2021Updated 5 years ago
- ☆10Dec 31, 2025Updated last month
- Tips, tricks, and resources for working with Node.js, and the start of an ongoing conversation on how we can improve the Node.js experien…☆13Jan 18, 2016Updated 10 years ago
- Common tree for Xiaomi sm8350 devices☆10Apr 29, 2024Updated last year
- Processor CI project Website☆10Jul 1, 2025Updated 7 months ago
- ☆10Apr 11, 2025Updated 10 months ago
- ☆11Jan 16, 2026Updated 3 weeks ago
- Fakeshellは仮想的なシェル環境を提供するパッケージです。☆14Jan 17, 2023Updated 3 years ago
- Code formatter plugin for Acode editor for Android☆10Jun 24, 2022Updated 3 years ago
- Set of GitHub Actions for me to build my favorite projects.☆10Nov 1, 2025Updated 3 months ago
- A Coq framework to support structural design and proof of hardware cache-coherence protocols☆14May 7, 2022Updated 3 years ago
- Golang configuration parser. This package allow to work with flags, environment variables, external sources (json configuration file e.g.…☆10Feb 1, 2024Updated 2 years ago
- Team 4099's Kotlin code for the 2023 Charged-Up game☆11Dec 22, 2023Updated 2 years ago
- 解决一些软件在绕过中国大陆规则中依然会显示当前IP在国外☆14Feb 23, 2024Updated last year
- 🙅♀️🙆♂️ Minimal, type-safe and reactive access control☆12Apr 18, 2023Updated 2 years ago