list of links to resources related to functional verification
☆12Sep 10, 2023Updated 2 years ago
Alternatives and similar repositories for awesome-functional-verification
Users that are interested in awesome-functional-verification are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Physics laboratory assignments☆10Oct 5, 2024Updated last year
- Методические материалы курса "Практикум по ПЛИС"☆49May 29, 2026Updated last month
- Short reference for GraphVIZ usage☆12Nov 12, 2021Updated 4 years ago
- Project PLS is developed based on icarus iverilog and will compile verilog into a much faster optimized model.☆13Nov 15, 2021Updated 4 years ago
- ☆12Jun 4, 2018Updated 8 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- SystemVerilog language-oriented exercises☆60Jul 8, 2026Updated 2 weeks ago
- A middleware for FastAPI that allows you to create mock endpoints quickly and easily.☆17Apr 24, 2025Updated last year
- Методические материалы к лабораторным работам дисциплины "Проектирование цифровых устройств на языке Verilog"☆12Sep 4, 2023Updated 2 years ago
- [Script and Docker 🐳] OpenConnect (Cisco AnyConnect) VPN Server (OCServ) script one key easy configurator and installer☆14May 18, 2023Updated 3 years ago
- Final Project for Digital Systems Design Course, Fall 2020☆17Jul 20, 2022Updated 4 years ago
- Материалы по курсу Углубленное изучение языка С (факультатив) для студентов МИЭТ☆12Feb 4, 2025Updated last year
- Репозиторий канала Verification For All☆15May 27, 2026Updated last month
- Mad intensive course from Moscow campus of intra42☆11Jul 3, 2022Updated 4 years ago
- UVM-SystemC reference implementation☆19Apr 8, 2026Updated 3 months ago
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- Linter for SystemVerilog Assertions (SVA). Following the philosophy of BYOL - Build Your Own Linter, SVALint is an example of ho users ca…☆21Sep 10, 2025Updated 10 months ago
- Explore Fibonacci, Galois, and State Space Linear Feedback Shift Register (LFSR) sequence generators☆13Dec 29, 2020Updated 5 years ago
- ☆14Aug 31, 2015Updated 10 years ago
- Terminal admin panel for ocserv OpenConnect VPN server with easy-rsa certificate management☆20Apr 29, 2026Updated 2 months ago
- Automated measurement of crystal parameters using a vector network analyser☆13Jun 17, 2020Updated 6 years ago
- Regular expressions based on Rob Pike Plan9 regexp9. Forked from https://github.com/attractivechaos/benchmarks/tree/master/reb/regexp9☆15Feb 5, 2022Updated 4 years ago
- uRV RISC-V core☆19Sep 29, 2015Updated 10 years ago
- The ao486 is an x86 compatible Verilog core implementing all features of a 486 SX.☆14Jan 27, 2016Updated 10 years ago
- Static Timing Analysis Full Course☆74Jan 14, 2023Updated 3 years ago
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- 586 compatible soft core for FPGA in verilog with AXI4 interface☆16Oct 15, 2016Updated 9 years ago
- ☆31Oct 24, 2016Updated 9 years ago
- ☆15Jun 24, 2022Updated 4 years ago
- Bringup-Bench is a collection of standalone minimal library and system dependence benchmarks useful for bringing up newly designed CPUs, …☆227Jun 5, 2026Updated last month
- A package manager for OpenSCAD powered by RubyGems☆18Mar 30, 2024Updated 2 years ago
- Репозиторий факультатива по функциональной верификации НИУ МИЭТ☆19Aug 24, 2024Updated last year
- Date helper library☆12Dec 1, 2019Updated 6 years ago
- ☆47Oct 4, 2023Updated 2 years ago
- Emacs Verilog Tree-sitter Major-mode☆12Jul 16, 2026Updated last week
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- LiveJournal backup tool, fork of https://sourceforge.net/projects/ljarchive/☆17Feb 19, 2026Updated 5 months ago
- This is the wiki and issue tracker for the Openscad Module Registry☆19Apr 24, 2018Updated 8 years ago
- My Emacs settings☆18Feb 17, 2026Updated 5 months ago
- pcie datalink layer implementation in verilog/systemverilog☆15May 22, 2026Updated 2 months ago
- Архитектуры процессорных систем (старый репозиторий, ранее размещавшийся по адресу github.com/MPSU/APS)☆101Jan 27, 2024Updated 2 years ago
- C Unit Testing Framework☆28Jul 14, 2019Updated 7 years ago
- A supporting application for ZTE Blade's Android handset, to selectively enable/disable USB Charging☆16Feb 28, 2011Updated 15 years ago