list of links to resources related to functional verification
☆12Sep 10, 2023Updated 3 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:
- Методические материалы к лабораторным работам дисциплины "Проектирование цифровых устройств на языке Verilog"☆12Sep 4, 2023Updated 3 years ago
- Материалы по курсу Углубленное изучение языка С (факультатив) для студентов МИЭТ☆12Feb 4, 2025Updated last year
- Методические материалы курса "Практикум по ПЛИС"☆50May 29, 2026Updated 5 months ago
- Physics laboratory assignments☆10Oct 5, 2024Updated 2 years ago
- Открытый ознакомительный курс "Введение в функциональную верификацию RISC-V ядер"☆54Sep 20, 2026Updated last month
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- SystemVerilog language-oriented exercises☆77Jul 8, 2026Updated 3 months ago
- 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
- A tool to run litmus tests on bare-metal hardware☆14Mar 13, 2017Updated 9 years ago
- Архитектуры процессорных систем (старый репозиторий, ранее размещавшийся по адресу github.com/MPSU/APS)☆101Jan 27, 2024Updated 2 years ago
- A middleware for FastAPI that allows you to create mock endpoints quickly and easily.☆18Apr 24, 2025Updated last year
- Various Verilog examples to gain knowledge and basic skills before working with MIPSfpga☆11Mar 16, 2016Updated 10 years ago
- Sheet metal workbench for FreeCAD☆10Jan 3, 2015Updated 11 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Final Project for Digital Systems Design Course, Fall 2020☆17Jul 20, 2022Updated 4 years ago
- Laboratory course on RISC-V Processor Development☆362Updated this week
- Репозиторий канала Verification For All☆16Oct 4, 2026Updated 3 weeks ago
- Explore Fibonacci, Galois, and State Space Linear Feedback Shift Register (LFSR) sequence generators☆13Dec 29, 2020Updated 5 years ago
- [Script and Docker 🐳] OpenConnect (Cisco AnyConnect) VPN Server (OCServ) script one key easy configurator and installer☆14May 18, 2023Updated 3 years ago
- Linter for SystemVerilog Assertions (SVA). Following the philosophy of BYOL - Build Your Own Linter, SVALint is an example of ho users ca…☆22Aug 23, 2026Updated 2 months ago
- ☆14Aug 31, 2015Updated 11 years ago
- Terminal admin panel for ocserv (OpenConnect VPN) with easy-rsa certificate management — pure bash, least-privilege sudo☆22Oct 8, 2026Updated 3 weeks ago
- Universal, safe Git Assistant☆13Apr 6, 2026Updated 6 months ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Example app with Commitizen and Conventional Commits☆17Dec 9, 2018Updated 7 years ago
- Automated measurement of crystal parameters using a vector network analyser☆13Jun 17, 2020Updated 6 years ago
- Mad intensive course from Moscow campus of intra42☆11Jul 3, 2022Updated 4 years ago
- Исходные коды к главам книги "Цифровой синтез: практический курс" (под ред. А.Ю. Романова и Ю.В. Панчула)☆67Sep 15, 2023Updated 3 years ago
- Moved to https://github.com/conventional-changelog/commitlint☆18Jan 31, 2019Updated 7 years ago
- Animated B-Spline on Qt.☆20Oct 1, 2020Updated 6 years ago
- ☆50Nov 9, 2021Updated 4 years ago
- Date helper library☆12Dec 1, 2019Updated 6 years ago
- UVM-SystemC reference implementation☆23Oct 9, 2026Updated 3 weeks ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- 🌊 CLI tool for RTL waveform (VCD/FST/FSDB) inspection☆72Oct 22, 2026Updated last week
- Static Timing Analysis Full Course☆78Jan 14, 2023Updated 3 years ago
- uRV RISC-V core☆18Sep 29, 2015Updated 11 years ago
- This is the wiki and issue tracker for the Openscad Module Registry☆19Apr 24, 2018Updated 8 years ago
- The ao486 is an x86 compatible Verilog core implementing all features of a 486 SX.☆14Jan 27, 2016Updated 10 years ago
- 586 compatible soft core for FPGA in verilog with AXI4 interface☆16Oct 15, 2016Updated 10 years ago
- LiveJournal backup tool, fork of https://sourceforge.net/projects/ljarchive/☆17Feb 19, 2026Updated 8 months ago