Ben Marshall's repositories
awesome-open-hardware-verification
A List of Free and Open Source Hardware Verification Tools and Frameworks
verilog-parser
A Flex/Bison Parser for the IEEE 1364-2001 Verilog Standard.
verilog-vcd-parser
A parser for Value Change Dump (VCD) files as specified in the IEEE System Verilog 1800-2012 standard.
croyde-riscv
A barebones 64-bit RISC-V micro-controller class CPU, implementing the I(nteger), M(ul/div), C(ompressed) and K(ryptography) extensions.
verilog-dot
A simple dot file / graph generator for Verilog syntax trees.
microcoder
Define custom assembly-like instructions and use them to write programs which are transpiled into synthesisable Verilog code.
verilog-doc
A basic documentation generator for Verilog, similar to Doxygen.
doxygen-themes
A collection of the various Doxygen Theme customisations I have created and used.
verilog-probe
A very small and simple debug probe designed to be very easy to interface with and be usable via SPI, JTAG and UART.
vanilla-riscv
Vanilla RISC-V core, implementing RV32IMC
aes-sboxes
Somewhere to put different implementations of the AES SBox
riscv-multi-cycle
WIP - A multi-cycle implementation of the RISCV rv32ui architecture. *unverified, use PicoRV32 instead!*
ann-playground
Code I develop while learning about Artificial Neural Networks
latex-boilerplate
A simple latex boilerplate with makefile for common commands.
sat-solver
A simple combinatorial boolean sat solver based on the AC-3 Algorithm
awesome-semiconductor-startups
List of awesome semiconductor startups
ben-marshall.github.io
My personal website, such as it is.
configuration-structure
RISC-V Configuration Structure
cssbristol.github.io
Source code for the UoB Computer Science Society web portal
riscv-bitmanip
Working draft of the proposed RISC-V Bitmanipulation extension
riscv-isa-sim
Spike, a RISC-V ISA Simulator
riscv-opcodes
RISC-V Opcodes
riscv-zkt-list
Zkt "safe list": extension attests that the machine has data-independent execution time for these instructions
sail-riscv
Sail RISC-V model