ekiwi/open-source-formal-verification-for-chisel

Stars
12
Rank 1,597,372 (Top 32 %)
Language
Jupyter Notebook
Created about 3 years ago
Updated about 3 years ago

ekiwi/open-source-formal-verification-for-chisel

ekiwi

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

rfuzz

rfuzz: coverage-directed fuzzing for RTL research platform

wellen

wellen: waveform datastructures in Rust. Fast VCD, FST and GHW parsing for waveform viewers.

rtl-fuzz-lab

A Modular Open-Source Hardware Fuzzing Framework

pynq

PYNQ with Chisel and Rust

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.

icesugar-chisel

Chisel Examples for the iCESugar FPGA Board

paso

A Chisel Integrated Specification and Verification Language.

baa

BitVector and Array Arithmetic library

patronus

work in progress, playing around with btor2 in rust

custom-afl-instrumentation

A small example on how to use a custom coverage/progress metric for AFL. Based on the llvm_mode from AFL.

chisel-sequences

sequence prototype

kiwi-formal

Experimental (formal) verification library for Chisel.

spec-impl

transactional-verification-with-protocols

Contains a prototype implementation of a transactional verification algorithm that uses protocols to connect functional model and implementation.

picojava2-archive

PicoJava2 RTL sources which are published under the Sun Community Source License, which is NOT a Open Source license.

ucta

micro controller trace analysis

guarded_atomic_actions

cs267-tutorials

Materials to help you with the cs267 homework.

chisel-verification-examples

components-next

Some experiments with loosely coupled components on microcontrollers.

utest-rs

an effort to develop a testing solution for rust on deeply embedded, bare metal targets

etm-test

Playing around with the micro controller execution tracing.

comparing-random-testing-and-bmc

xpcc-swd

port of scanlime's SWD code for the esp8266 to xpcc

serv-chisel

reimplementation of the serv core in Chisel (https://github.com/olofk/serv)

stm32f3-minimal-cdc

a minimal usb cdc loopback implementation for the stm32f3 discovery board using xpcc

darjeeling-jvm

git import of the embedded jvm from Delft University of Technology http://darjeeling.sourceforge.net

surfer

Fork of the original surfer repo for my own developments: https://gitlab.com/surfer-project/surfer

pyfirrtl

Generating FIRRTL from Python. Highly experimental. Do not use.

etm

Manages access to microcontroller targets connected to our CI server.

undergrad-exercises

Some exercises for undergraduates that work on research with me.

irpy

LLVM IR -> Python compiler from the hyper kernel ecosystem (https://github.com/locore/hv6)

cpp-playground

pushing the boundaries of my understanding of c++

sorta

playing around with MS prose

cpp-debugging-interactive-unit

Interactive instructional unit created as the course project for SCMATHE 220C at UC Berkeley.

ulader

backup battery powered bike lighting system inspired by the Forumslader project

ostfriesentee-examples

Example project for the Ostfriesentee embedded JVM.

jade-mirror

unofficial git mirror of http://jade.tilab.com/developers/source-repository/

python-compiler

Some helpful pluming for writing (DSL) compilers in python.

hwmcc20

Hardware Model Checking Competition 2020 Benchmarks and Results

ekiwi.github.io