T. Meissner (@tmeissner)
github

tmeissner

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    225
  • Global Rank 112,351 (Top 4 %)
  • Followers 114
  • Following 63
  • Registered about 13 years ago
  • Most used languages
    VHDL     66.7 %
    Dockerfile
         8.3 %
    Ada
         8.3 %
    Python
         8.3 %
    Shell
         8.3 %
  • Location 🇩🇪 Germany
  • Country Total Rank 5,990
  • Country Ranking
    VHDL     2
    Ada
         23
    Dockerfile
         519
    Shell
         5,338
    Python
         7,591

Top repositories

1

psl_with_ghdl

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

formal_hw_verification

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

cryptocores

cryptography ip-cores in vhdl / verilog
VHDL
40
star
4

libvhdl

Library of reusable VHDL components
VHDL
25
star
5

vhdl_verification

Examples and design pattern for VHDL verification
VHDL
16
star
6

gatemate_experiments

Experiments with Cologne Chip's GateMate FPGA architecture
VHDL
14
star
7

cocotb_with_ghdl

Examples of using cocotb for functional verification of VHDL designs with GHDL.
Python
9
star
8

Dockerfiles

Some Dockerfiles for various tools
Dockerfile
7
star
9

verification_ip

VHDL
3
star
10

lfd111x_building_a_risc-v-cpu_core

Code of the course: LFD111x - Building a RISC-V CPU Core
VHDL
3
star
11

usb-avr-cpld

usb-avr-cpld experiment board with FTDI FT232RL, ATMEGA88 & XC9572XL
Shell
2
star
12

raspberrypi

various projects with Raspberry Pi
Ada
2
star