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:
- UVM Testbench for synchronus fifo☆19Aug 28, 2020Updated 5 years ago
- Physics laboratory assignments☆10Oct 5, 2024Updated last year
- 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
- SystemVerilog language-oriented exercises☆60Apr 2, 2026Updated 2 months ago
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- TCL scripts for FPGA (Xilinx)☆36Jul 5, 2022Updated 3 years ago
- ☆12Jun 4, 2018Updated 8 years ago
- Методические материалы к лабораторным работам дисциплины "Проектирование цифровых устройств на языке 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
- Goods for the RightJS framework☆28Mar 15, 2012Updated 14 years ago
- Final Project for Digital Systems Design Course, Fall 2020☆17Jul 20, 2022Updated 3 years ago
- Lua for Microchip PIC32 processors.☆19May 3, 2015Updated 11 years ago
- A middleware for FastAPI that allows you to create mock endpoints quickly and easily.☆17Apr 24, 2025Updated last year
- This is the wiki and issue tracker for the Openscad Module Registry☆19Apr 24, 2018Updated 8 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Mad intensive course from Moscow campus of intra42☆11Jul 3, 2022Updated 3 years ago
- uRV RISC-V core☆19Sep 29, 2015Updated 10 years ago
- Explore Fibonacci, Galois, and State Space Linear Feedback Shift Register (LFSR) sequence generators☆12Dec 29, 2020Updated 5 years ago
- Открытое RISC-V процессорное ядро MIRISCV для образовательных целей☆30Dec 5, 2024Updated last year
- ☆14Aug 31, 2015Updated 10 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
- The ao486 is an x86 compatible Verilog core implementing all features of a 486 SX.☆14Jan 27, 2016Updated 10 years ago
- Generating Hardware Verification Assertions from Design Specifications via Multi-LLMs☆63Oct 28, 2024Updated last year
- ☆31Oct 24, 2016Updated 9 years ago
- AI Agents on 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.
- Static Timing Analysis Full Course☆70Jan 14, 2023Updated 3 years ago
- High speed C/C++ based behavioural VHDL/Verilog co-simulation memory model☆30Feb 2, 2026Updated 4 months ago
- 586 compatible soft core for FPGA in verilog with AXI4 interface☆16Oct 15, 2016Updated 9 years ago
- Bringup-Bench is a collection of standalone minimal library and system dependence benchmarks useful for bringing up newly designed CPUs, …☆225Jun 5, 2026Updated last week
- Материалы по курсу Углубленное изучение языка С (факультатив) для студентов МИЭТ☆12Feb 4, 2025Updated last year
- ☆15Jun 24, 2022Updated 3 years ago
- ☆47Oct 4, 2023Updated 2 years ago
- Reverse videos (using FFmpeg)☆15Jan 19, 2023Updated 3 years ago
- A package manager for OpenSCAD powered by RubyGems☆18Mar 30, 2024Updated 2 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.
- Date helper library☆12Dec 1, 2019Updated 6 years ago
- Automated measurement of crystal parameters using a vector network analyser☆13Jun 17, 2020Updated 5 years ago
- Emacs Verilog Tree-sitter Major-mode☆12Apr 29, 2026Updated last month
- Репозиторий заданий и примеров направления функциональной верификации Школы синтеза цифровых схем☆22Mar 7, 2026Updated 3 months ago
- My Emacs settings☆18Feb 17, 2026Updated 3 months ago
- Verilator open-source SystemVerilog simulator and lint system☆24Jun 8, 2026Updated last week
- Архитектуры процессорных систем (старый репозиторий, ранее размещавшийся по адресу github.com/MPSU/APS)☆99Jan 27, 2024Updated 2 years ago