Kevin Laeufer's repositories
rtl-repair
Fast Symbolic Repair of Hardware Design Code
simulator-independent-coverage
Project Repo for the Simulator Independent Coverage Research
fst-native
Native Rust implementation of the FST waveform format from GTKWave.
chisel-sequences
sequence prototype
ip-contributions
For contributions of Chisel IP to the chisel community.
aws-fpga-firesim
AWS Shell for FireSim
chisel-template
A template project for beginning new Chisel work
chisel-testers2
Repository for chisel3 testers2 open alpha
firrtl-spec
The specification for the FIRRTL language
latency-insensitive-interface-combinators-in-chisel
Chisel implementation of Latency-Insensitive Interface Combinators. Based on: https://dl.acm.org/doi/10.1145/3575693.3575701
riscv-mini
Simple RISC-V 3-stage Pipeline in Chisel
tt02-tweezers
Submission template for TT02
verilog-coverage
Trying to implement simple coverage metrics for Verilog.