Репозиторий канала Verification For All
☆15May 27, 2026Updated last month
Alternatives and similar repositories for vfa
Users that are interested in vfa are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Репозиторий факультатива по функциональной верификации НИУ МИЭТ☆19Aug 24, 2024Updated last year
- Репозиторий заданий и примеров направления функциональной верификации Школы синтеза цифровых схем☆24Mar 7, 2026Updated 4 months ago
- Открытый ознакомительный курс "Введение в функциональную верификацию RISC-V ядер"☆52May 16, 2026Updated 2 months ago
- Laboratory course on RISC-V Processor Development☆347Jul 1, 2026Updated 2 weeks ago
- Учебные материалы Альянса RISC-V☆17Jun 30, 2025Updated 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.
- Открытое RISC-V процессорное ядро MIRISCV для образовательных целей☆31Dec 5, 2024Updated last year
- Методические материалы к лабораторным работам дисциплины "Проектирование цифровых устройств на языке Verilog"☆12Sep 4, 2023Updated 2 years ago
- FPGA exercise for beginners☆46Oct 13, 2025Updated 9 months ago
- A tool for modeling FSMs by VHDL or Verilog☆14Updated this week
- ☆11Jul 12, 2023Updated 3 years ago
- General purpose C# libraries (with editor) to create NPC dialogues to be used in games in any C# based game engine☆17May 16, 2022Updated 4 years ago
- Исходные коды к главам книги "Цифровой синтез: практический курс" (под ред. А.Ю. Романова и Ю.В. Панчула)☆64Sep 15, 2023Updated 2 years ago
- CPU microarchitecture, step by step☆191Jun 26, 2022Updated 4 years ago
- Методические материалы курса "Практикум по ПЛИС"☆49May 29, 2026Updated last month
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Архитектуры процессорных систем (старый репозиторий, ранее размещавшийся по адресу github.com/MPSU/APS)☆101Jan 27, 2024Updated 2 years ago
- Project and presentation for SpaceX Application☆14Jul 21, 2017Updated 9 years ago
- An opinionated build environment for EDA projects☆19Jul 20, 2025Updated last year
- Полезные ресурсы по тематике FPGA / ПЛИС☆181Oct 28, 2025Updated 8 months ago
- Digital Design Express Course☆19Apr 11, 2019Updated 7 years ago
- list of links to resources related to functional verification☆12Sep 10, 2023Updated 2 years ago
- SystemVerilog language-oriented exercises☆60Jul 8, 2026Updated last week
- Python script for generating Xilinx .coe files for RAM initializing☆20Jan 3, 2019Updated 7 years ago
- 🇯 JSON encoder and decoder in pure SystemVerilog☆16Jul 7, 2024Updated 2 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- ☆47Apr 1, 2026Updated 3 months ago
- DDC/DUC amateur radio transceiver☆21Jan 23, 2026Updated 5 months ago
- SystemVerilog language-oriented exercises☆171Jul 8, 2026Updated last week
- Генератор перечней элементов по ГОСТ 2.701 из BOM (Bill Of Materials) современных САПР☆12Apr 4, 2015Updated 11 years ago
- his is a list of Free Software network services and web applications which can be hosted locally. Selfhosting is the process of locally h…☆14Aug 22, 2017Updated 8 years ago
- Xlinix Kintex 7 based PCIE development board☆41Sep 24, 2023Updated 2 years ago
- A Python package for creating and solving constrained randomization problems.☆19Jul 14, 2026Updated last week
- Basics of C++ Development: White Belt by Moscow Institute of Physics and Technology & Yandex☆25Jan 25, 2020Updated 6 years ago
- VS Code extension for SystemVerilog design navigation and RTL tracing. Seamlessly integrates with waveform viewer for post-simulation deb…☆39Nov 6, 2025Updated 8 months 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.
- Материалы по курсу Углубленное изучение языка С (факультатив) для студентов МИЭТ☆12Feb 4, 2025Updated last year
- Mad intensive course from Moscow campus of intra42☆11Jul 3, 2022Updated 4 years ago
- Light Utilization with Multicycle Operational Stages (LUMOS) RISC-V Processor☆49Jan 4, 2025Updated last year
- UVM-SystemC reference implementation☆19Apr 8, 2026Updated 3 months ago
- 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
- Unit testing for cocotb☆173Apr 18, 2026Updated 3 months ago
- An adapter board with pin headers for low-pin count (LPC) FPGA Mezzanine Cards (FMC).☆12Nov 2, 2020Updated 5 years ago