Ben Reynwar's repositories
fusesoc_generators
Add generators to fusesoc so that depenedencies can be generated from generic parameters.
check_cocotb_ghdl
Just a check to make sure cocotb and ghdl are working together
cocotb-testrunner
Run tests with cocotb
symbiflow-arch-defs
FOSS architecture definitions of FPGA hardware useful for doing PnR device generation.
vtr-verilog-to-routing
Verilog to Routing -- Open Source CAD Flow for FPGA Research
cephalopode
The cephalopod IoT processor and the bifrost compiler
cocotb-test
Unit testing for cocotb
dafny_experiments
Experiments while learning dafny
openpiton
The OpenPiton Platform
silveroak
Formal specification and verification of hardware, especially for security and privacy.
verilog-axi
Verilog AXI components for FPGA implementation
VossII
The source code to the Voss II Hardware Verification Suite