ekiwi/surfer ekiwi/surfer

  • Stars
    star
    2
  • Language
    Rust
  • Created about 1 year ago
  • Updated about 1 year ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
ekiwi/surfer
github

ekiwi

Reviews

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

Repository Details

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

More Repositories

1

rfuzz

rfuzz: coverage-directed fuzzing for RTL research platform
Rust
94
star
2

wellen

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

rtl-fuzz-lab

A Modular Open-Source Hardware Fuzzing Framework
SystemVerilog
27
star
4

pynq

PYNQ with Chisel and Rust
Tcl
24
star
5

rtl-repair

Fast Symbolic Repair of Hardware Design Code
Python
18
star
6

simulator-independent-coverage

Project Repo for the Simulator Independent Coverage Research
C++
16
star
7

open-source-formal-verification-for-chisel

Jupyter Notebook
12
star
8

fst-native

Native Rust implementation of the FST waveform format from GTKWave.
Rust
12
star
9

icesugar-chisel

Chisel Examples for the iCESugar FPGA Board
Scala
11
star
10

paso

A Chisel Integrated Specification and Verification Language.
Scala
9
star
11

baa

BitVector and Array Arithmetic library
Rust
7
star
12

patronus

work in progress, playing around with btor2 in rust
Rust
5
star
13

custom-afl-instrumentation

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

chisel-sequences

sequence prototype
Scala
4
star
15

kiwi-formal

Experimental (formal) verification library for Chisel.
Scala
4
star
16

spec-impl

Scala
4
star
17

transactional-verification-with-protocols

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

picojava2-archive

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

ucta

micro controller trace analysis
C++
3
star
20

guarded_atomic_actions

Scala
3
star
21

cs267-tutorials

Materials to help you with the cs267 homework.
3
star
22

chisel-verification-examples

Scala
3
star
23

components-next

Some experiments with loosely coupled components on microcontrollers.
C++
3
star
24

utest-rs

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

etm-test

Playing around with the micro controller execution tracing.
C++
2
star
26

comparing-random-testing-and-bmc

Verilog
2
star
27

xpcc-swd

port of scanlime's SWD code for the esp8266 to xpcc
C++
2
star
28

serv-chisel

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

stm32f3-minimal-cdc

a minimal usb cdc loopback implementation for the stm32f3 discovery board using xpcc
C++
2
star
30

darjeeling-jvm

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

pyfirrtl

Generating FIRRTL from Python. Highly experimental. Do not use.
Python
1
star
32

etm

Manages access to microcontroller targets connected to our CI server.
Rust
1
star
33

undergrad-exercises

Some exercises for undergraduates that work on research with me.
Rust
1
star
34

irpy

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

cpp-playground

pushing the boundaries of my understanding of c++
C++
1
star
36

sorta

playing around with MS prose
C#
1
star
37

cpp-debugging-interactive-unit

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

ulader

backup battery powered bike lighting system inspired by the Forumslader project
AGS Script
1
star
39

ostfriesentee-examples

Example project for the Ostfriesentee embedded JVM.
Java
1
star
40

jade-mirror

unofficial git mirror of http://jade.tilab.com/developers/source-repository/
Java
1
star
41

python-compiler

Some helpful pluming for writing (DSL) compilers in python.
Python
1
star
42

hwmcc20

Hardware Model Checking Competition 2020 Benchmarks and Results
1
star
43

ekiwi.github.io

HTML
1
star