ekiwi/chisel-sequences ekiwi/chisel-sequences

  • Stars
    star
    4
  • Rank 3,304,323 (Top 66 %)
  • Language
    Scala
  • License
    BSD 2-Clause "Sim...
  • Created about 2 years ago
  • Updated almost 2 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
ekiwi/chisel-sequences
github

ekiwi

Reviews

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

Repository Details

sequence prototype

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

kiwi-formal

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

spec-impl

Scala
4
star
16

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
17

picojava2-archive

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

ucta

micro controller trace analysis
C++
3
star
19

guarded_atomic_actions

Scala
3
star
20

cs267-tutorials

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

chisel-verification-examples

Scala
3
star
22

components-next

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

utest-rs

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

etm-test

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

comparing-random-testing-and-bmc

Verilog
2
star
26

xpcc-swd

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

serv-chisel

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

stm32f3-minimal-cdc

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

darjeeling-jvm

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

surfer

Fork of the original surfer repo for my own developments: https://gitlab.com/surfer-project/surfer
Rust
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