tmeissner Goto Github PK

awesome

A curated list of awesome resources for HDL design and verification

cocotb

Coroutine Co-simulation Test Bench

cocotb_with_ghdl

Examples of using cocotb for functional verification of VHDL designs with GHDL.

compliance-tests

Tests to evaluate the support of VHDL 2008 and VHDL 2019 features

constraints

Constraint files for Hardware Description Language (HDL) designs targeting FPGA boards

containers

Building and deploying container images for open source electronic design automation (EDA)

cryptocores

cryptography ip-cores in vhdl / verilog

dockerfiles

Some Dockerfiles for various tools

dvb-webapp

some experiments with web applications

formal_hw_verification

Trying to verify Verilog/VHDL designs with formal methods and tools

gatemate_experiments

Experiments with Cologne Chip's GateMate FPGA architecture

ghdl

VHDL 2008/93/87 simulator

learning-by-doing

Learning by doing: Reading books and trying to understand the (code) examples

lfd111x_building_a_risc-v-cpu_core

Code of the course: LFD111x - Building a RISC-V CPU Core

libvhdl

Library of reusable VHDL components

neorv32

🖥️ A tiny, customizable and highly extensible MCU-class 32-bit RISC-V soft-core CPU and microcontroller-like SoC written in platform-independent VHDL.

neorv32-formal

Formal verification (experiments) targeting the NEORV32 RISC-V processor.

neorv32-setups

📁 NEORV32 projects and exemplary setups for various FPGAs, boards and (open-source) toolchains.

open-source-fpga-resource

A list of resources related to the open-source FPGA projects

openscad

openSCAD models for 3d-printing

osvvm

Open Source VHDL Verification Methodology (OSVVM) Repository

pebble_tutorials

Tutorials from Pebble developer website

planefinder

psl_with_ghdl

Examples of using PSL for functional and formal verification of VHDL with GHDL (and SymbiYosys)

raspberrypi

various projects with Raspberry Pi

riscv32

symbiflow-docs

Documentation for SymbiFlow

tmeissner

usb-avr-cpld

usb-avr-cpld experiment board with FTDI FT232RL, ATMEGA88 & XC9572XL

verification_ip