Skip to content
View ben-marshall's full-sized avatar

Organizations

@cssbristol @MVSE-Outreach @riscv

Block or report ben-marshall

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
Showing results

Library Exchange Format (LEF) and Design Exchange Format (DEF)

C++ 19 11 Updated Aug 13, 2020

Parsl - a Python parallel scripting library

Python 540 202 Updated Feb 26, 2025

Code to read various RTL simulator wave formats (fsdb, shm, vcd, wlf) into python and apply it as stimuli via cocotb/plain vpi.

Python 56 9 Updated Aug 18, 2021

Caliptra IP and firmware for integrated Root of Trust block

257 38 Updated Feb 25, 2025

SystemVerilog synthesis tool

Verilog 177 23 Updated Feb 26, 2025

SystemC/TLM-2.0 Co-simulation framework

Verilog 234 70 Updated Oct 25, 2024

A Python package for creating and solving constrained randomization problems.

Python 15 3 Updated Oct 14, 2024

Basic SAT model of x86 instructions using Z3, autogenerated from Intel docs

Python 317 13 Updated Dec 1, 2021

Generate SystemVerilog RTL that implements a register block from compiled SystemRDL input.

Python 56 44 Updated Dec 20, 2024

Control and status register code generator toolchain

Python 112 26 Updated Dec 20, 2024

HW Design Collateral for Caliptra RoT IP

SystemVerilog 83 44 Updated Feb 26, 2025

Renode - Antmicro's open source simulation and virtual development framework for complex embedded systems

RobotFramework 1,748 308 Updated Feb 26, 2025

SystemVerilog Functional Coverage for RISC-V ISA

SystemVerilog 25 13 Updated Sep 27, 2024

A high-performance, zero-overhead, extensible Python compiler with built-in NumPy support

Python 15,430 526 Updated Feb 26, 2025

CherryUSB is a tiny and beautiful, portable and high performace USB host and device stack for embedded system with USB IP

C 1,416 304 Updated Feb 26, 2025

A C++ to Verilog translation tool with some basic guarantees that your code will work.

C++ 166 14 Updated Feb 23, 2025

List of awesome open source hardware tools, generators, and reusable designs

Python 1,991 186 Updated Feb 25, 2025

RISC-V Verification Interface

C 84 15 Updated Feb 19, 2025
C++ 353 67 Updated Feb 23, 2025

SystemVerilog 2017 Pre-processor, Parser, Elaborator, UHDM Compiler. Provides IEEE Design/TB C/C++ VPI and Python AST API. Compiles on Linux gcc, Windows msys2-gcc & msvc, OsX

C++ 26 3 Updated Dec 7, 2024

Open source RTL simulation acceleration on commodity hardware

Python 24 Updated Apr 13, 2023

💎 A fast, open source text processor and publishing toolchain, written in Ruby, for converting AsciiDoc content to HTML 5, DocBook 5, and other formats.

Ruby 4,935 803 Updated Feb 14, 2025

Formal specification and verification of hardware, especially for security and privacy.

Coq 124 20 Updated May 19, 2022

Multi-platform nightly builds of open source digital design and verification tools

Shell 963 88 Updated Feb 26, 2025

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

VHDL 1,682 243 Updated Feb 23, 2025

RaveNoC is a configurable HDL NoC (Network-On-Chip) suitable for MPSoCs and different MP applications

SystemVerilog 161 35 Updated Nov 18, 2024
SystemVerilog 195 62 Updated Jan 19, 2025

Learn, share and collaborate on ASIC design using open tools and technologies

Dockerfile 13 1 Updated Dec 27, 2020

Documentation developer guide

TeX 98 35 Updated Feb 20, 2025
Next