formal hw verificationTrying to verify Verilog/VHDL designs with formal methods and tools
Stars: ✭ 32 (+18.52%)
fphdlVHDL-2008 Support Library
Stars: ✭ 36 (+33.33%)
EdalizeAn abstraction library for interfacing EDA tools
Stars: ✭ 270 (+900%)
xedaCross EDA Abstraction and Automation
Stars: ✭ 25 (-7.41%)
JSON-for-VHDLA JSON library implemented in VHDL.
Stars: ✭ 56 (+107.41%)
cocotb-busPre-packaged testbenching tools and reusable bus interfaces for cocotb
Stars: ✭ 20 (-25.93%)
LivehdLive Hardware Development (LiveHD), a productive infrastructure for Synthesis and Simulation
Stars: ✭ 110 (+307.41%)
vboardVirtual development board for HDL design
Stars: ✭ 32 (+18.52%)
Neorv32A small and customizable full-scale 32-bit RISC-V soft-core CPU and SoC written in platform-independent VHDL.
Stars: ✭ 106 (+292.59%)
fpga-dockerTools for running FPGA vendor toolchains with Docker
Stars: ✭ 54 (+100%)
tipGitHub Action to keep a 'tip' pre-release always up-to-date
Stars: ✭ 18 (-33.33%)
GhdlVHDL 2008/93/87 simulator
Stars: ✭ 1,285 (+4659.26%)
NyuziprocessorGPGPU microprocessor architecture
Stars: ✭ 1,351 (+4903.7%)
UnimidiRealtime MIDI IO for Ruby
Stars: ✭ 229 (+748.15%)
ConnectalConnectal is a framework for software-driven hardware development.
Stars: ✭ 117 (+333.33%)
qodana-action⚙️ Scan your Java, Kotlin, PHP, Python, JavaScript, TypeScript projects at GitHub with Qodana
Stars: ✭ 112 (+314.81%)
hdl-toolsFacilitates building open source tools for working with hardware description languages (HDLs)
Stars: ✭ 56 (+107.41%)
async fifoA dual clock asynchronous FIFO written in verilog, tested with Icarus Verilog
Stars: ✭ 117 (+333.33%)
vscode-terosHDLVHDL and Verilog/SV IDE: state machine viewer, linter, documentation, snippets... and more!
Stars: ✭ 325 (+1103.7%)
spu32Small Processing Unit 32: A compact RV32I CPU written in Verilog
Stars: ✭ 51 (+88.89%)
SpinalCryptoSpinalHDL - Cryptography libraries
Stars: ✭ 36 (+33.33%)
intelirest-cliA cli interpreter for intelliJ .http files
Stars: ✭ 23 (-14.81%)
CI-Report-ConverterThe tool converts different error reporting standards for deep compatibility with popular CI systems (TeamCity, IntelliJ IDEA, GitHub Actions, etc).
Stars: ✭ 17 (-37.04%)
branch-protection-botA bot tool to disable and re-enable "Include administrators" option in branch protection
Stars: ✭ 57 (+111.11%)
symbolatorHDL symbol generator
Stars: ✭ 123 (+355.56%)
GohciGo on Hardware CI: 100% free open source CI to run on RPis, macOS and Windows
Stars: ✭ 79 (+192.59%)
Haddoc2Caffe to VHDL
Stars: ✭ 57 (+111.11%)
Platformio Vscode IdePlatformIO IDE for VSCode: The next generation integrated development environment for IoT
Stars: ✭ 676 (+2403.7%)
OpenfpgaduinoAll open source file and project for OpenFPGAduino project
Stars: ✭ 137 (+407.41%)
SpinalDevDocker Development Environment for SpinalHDL
Stars: ✭ 17 (-37.04%)
Platformio Atom IdePlatformIO IDE for Atom: The next generation integrated development environment for IoT
Stars: ✭ 475 (+1659.26%)
verilog-vcd-parserA parser for Value Change Dump (VCD) files as specified in the IEEE System Verilog 1800-2012 standard.
Stars: ✭ 46 (+70.37%)
release-helper🤖 A GitHub Action that help you publish release.
Stars: ✭ 27 (+0%)
gateware-tsHardware definition library and environment for designing and building digital hardware for FPGAs, using only open source tools
Stars: ✭ 83 (+207.41%)
svutSVUT is a simple framework to create Verilog/SystemVerilog unit tests. Just focus on your tests!
Stars: ✭ 48 (+77.78%)
changed-filesGithub action to retrieve all (added, copied, modified, deleted, renamed, type changed, unmerged, unknown) files and directories.
Stars: ✭ 733 (+2614.81%)
FiresimFireSim: Easy-to-use, Scalable, FPGA-accelerated Cycle-accurate Hardware Simulation in the Cloud
Stars: ✭ 415 (+1437.04%)
up5kUpduino v2 with the ice40 up5k FPGA demos
Stars: ✭ 65 (+140.74%)
action-junit-reportReports junit test results as GitHub Pull Request Check
Stars: ✭ 103 (+281.48%)
iceskateA low cost FPGA development board for absolute newbies
Stars: ✭ 15 (-44.44%)
vim-hdlVim plugin to aid VHDL development (for LSP, see https://github.com/suoto/hdl_checker)
Stars: ✭ 59 (+118.52%)
xray-action... a GitHub action to import test results into "Xray" - A complete Test Management tool for Jira.
Stars: ✭ 16 (-40.74%)
veriflaFork of OpenVeriFla - FPGA debugging logic analyzer to use with your designs - examples (so far) for ice40/IceStorm
Stars: ✭ 21 (-22.22%)
vcdVCD file (Value Change Dump) command line viewer
Stars: ✭ 40 (+48.15%)
OpenLaneOpenLane is an automated RTL to GDSII flow based on several components including OpenROAD, Yosys, Magic, Netgen, Fault and custom methodology scripts for design exploration and optimization.
Stars: ✭ 548 (+1929.63%)
PoC-ExamplesThis repository contains synthesizable examples which use the PoC-Library.
Stars: ✭ 27 (+0%)
pyarch🔌 Hardware Abstraction Library in Python
Stars: ✭ 15 (-44.44%)
shapool-coreFPGA core for SHA256d mining targeting Lattice iCE40 devices.
Stars: ✭ 19 (-29.63%)
mathUseful m-scripts for DSP (CIC, FIR, FFT, Fast convolution, Partial Filters etc.)
Stars: ✭ 15 (-44.44%)
getting-startedList of ideas for getting started with TimVideos projects
Stars: ✭ 50 (+85.19%)
VerilogRepository for basic (and not so basic) Verilog blocks with high re-use potential
Stars: ✭ 296 (+996.3%)
CascadeA Just-In-Time Compiler for Verilog from VMware Research
Stars: ✭ 413 (+1429.63%)
jekyll-deploy-action🪂 A Github Action to deploy the Jekyll site conveniently for GitHub Pages.
Stars: ✭ 162 (+500%)
ruby-vpiRuby interface to IEEE 1364-2005 Verilog VPI
Stars: ✭ 15 (-44.44%)