mballance Goto Github PK

amba_sys_ip

AMBA-protocol system IP

axi4_ddr3_ctrl

AXI4 DDR3 Controller written in CHISEL

bitwuzla

Bitwuzla is a Satisfiability Modulo Theories (SMT) solver for the theories of fixed-size bit-vectors, floating-point arithmetic, arrays and uninterpreted functions and their combinations. Its name is derived from an Austrian dialect expression that can be translated as “someone who tinkers with bits”.

bmk

Bare-Metal Kernel framework for embedded environments

boolector

A Satisfiability Modulo Theories (SMT) solver for the theories of fixed-size bit-vectors, arrays and uninterpreted functions.

btor2tools_win32

A generic parser and tool package for the BTOR2 format.

cadical_win32

CaDiCaL SAT Solver

caravel

Caravel is a standard SoC hardness with on chip resources to control and read/write operations from a user-dedicated space.

caravel_fwpayload

Test project for the Open MPW shuttle

caravel_fwpayload_dev

Standalone for fwpayload without the heavy-weight files

chisel3

Chisel 3

chisellib

Library of Chisel primitives

chiselscripts

Scripts for working with the Chisel hardware description language

chiselscripts.sav

Scripts to assist with Scala, Chisel, and FIRRTL

clusterv-soc

Quad cluster of RISC-V cores with peripherals and local memory

codbg

Hw/Sw co-debug tool combining GTKWave and GDB

coremesh

SoC composed of 2d mesh of cores with chip-to-chip connectivity

cross-tools-scripts

csc

CSC is a C++ framework for stimulus and coverage

cudd

Mirror of CUDD 3.0.0, with the addition of CMake-based build

cyclonev_hps_shell

Shell for FPGA designs that work with the CycloneV HPS

cygwineda

Build scripts and customization for core EDA packages under Cygwin

eclipsescripts

Scripts for building Eclipse plug-ins and applications

edaconda

Trial for a conda-based package of EDA tools

edapack

Provides a packaged collection of open source EDA tools

egtkwave

GTKWave embedded in Eclipse

exsoc

fpgamgr

Management software for embedded processors connected to an FPGA fabric

fpio

FIFO Protocol I/O block

fwrisc-s