Post-Silicon Validation Tool based on REVERSI
☆12Dec 10, 2025Updated 3 months ago
Alternatives and similar repositories for PATARA
Users that are interested in PATARA are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☀️ C Path Tracer☆11Nov 26, 2023Updated 2 years ago
- ☆18Dec 27, 2024Updated last year
- Memory consistency model checking and test generation library.☆15Oct 14, 2016Updated 9 years ago
- Fabric generator and CAD tools graphical frontend☆18Aug 5, 2025Updated 7 months ago
- 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
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- Verilog design files and Icestudio file for streaming the OV7670 camera using ULX3S FPGA Board☆23Nov 17, 2021Updated 4 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
- Cad4u☆12May 29, 2025Updated 9 months ago
- Open-source PDK version manager☆42Nov 25, 2025Updated 4 months ago
- Processor CI project Website☆10Jul 1, 2025Updated 8 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
- API to fetch most of Unicamp's public data.☆18Nov 14, 2016Updated 9 years ago
- Characterizer☆32Nov 19, 2025Updated 4 months ago
- Arduino compatibility library for Mongoose OS☆11Mar 2, 2023Updated 3 years ago
- DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Open-source RHBD (Radiation Hardened by Design) Standard-Cell Library for SKY130☆13Mar 16, 2026Updated last week
- POWER-targeted JIT fork of Mozilla.☆12Apr 29, 2022Updated 3 years ago
- AI prompts for accelerating the research workflow.☆93Mar 10, 2026Updated 2 weeks ago
- short, precise and uncommented solutions to keygenme or crackme challenges. INFO: Sadly crackmes.de got shut down. I do not have another …☆14Sep 14, 2016Updated 9 years ago
- A carefully curated collection of symbols and footprints☆24Mar 5, 2026Updated 3 weeks ago
- Work in progress to create an RFC that documents the OpenVPN protocol☆15Mar 9, 2026Updated 2 weeks ago
- Microkernel-based system for heterogeneous manycores☆13Mar 6, 2026Updated 2 weeks ago
- Open-source repository for a standard-cell library characterizer using complete open-source tools☆49Mar 17, 2026Updated last week
- a USB2 highspeed device core, written in amaranth HDL☆53Sep 17, 2024Updated last year
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Full Speed USB DFU interface for FPGA and ASIC designs☆20Mar 10, 2024Updated 2 years ago
- Gopher server written in Common Lisp☆14Nov 7, 2016Updated 9 years ago
- A coverage library for Chisel designs☆11Mar 12, 2020Updated 6 years ago
- 🙅♀️🙆♂️ Minimal, type-safe and reactive access control☆12Apr 18, 2023Updated 2 years ago
- x86 JIT playground for documenting and exploring microarchitectural implementation details☆19Oct 15, 2025Updated 5 months ago
- Jail Environments tool☆13Dec 7, 2023Updated 2 years ago
- Vim plugin for Bluespec SystemVerilog (BSV)☆11Nov 8, 2020Updated 5 years ago
- A Python library used to transfer files with QR codes. Input a file, get QR code images. Print, email, or otherwise share your codes. Re-…☆10Sep 15, 2019Updated 6 years ago
- Collection of Raspberry Pi Pico board adapters for use with Pico-DirtyJTAG☆14Jun 5, 2024Updated last year
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- A driver loader tool that helps in the study of Windows kernel. || 一个驱动加载工具，在Windows内核的学习过程中可以提供帮助。☆11Jul 3, 2020Updated 5 years ago
- ☆15Mar 13, 2026Updated last week
- Greyhound on IHP SG13G2 0.13 μm BiCMOS process☆85Jan 28, 2026Updated last month
- m'dots☆15Feb 5, 2026Updated last month
- Grab news from NNTP servers☆14Mar 20, 2024Updated 2 years ago
- Glimmer Wordle - Play Wordle Endlessly with No Limit!☆12Nov 8, 2023Updated 2 years ago
- Testing Ibex build using Yosys and open source toolchains.☆11Oct 2, 2021Updated 4 years ago