masc-ucsc Goto Github PK

airspace-hugo

Airspace theme (Hugo version)

anubis

The ANUBIS benchmark suite for Incremental Synthesis

ariane

Ariane is a 6-stage RISC-V CPU capable of booting Linux

bazel_rules_hdl

Hardware Description Language (Verilog, VHDL, Chisel, nMigen, etc) with open tools (Yosys, Verilator, OpenROAD, etc) rules for Bazel (https://bazel.build)

black-parrot

A Linux-capable RISC-V multicore for and by the world

black-parrot-sdk

black-parrot-sim

chipyard

An Agile RISC-V SoC Design Framework with in-order cores, out-of-order cores, accelerators, and more

cmpe220fall16

Public repository of the UCSC CMPE220 class project

cryptominisat

An advanced SAT Solver

desesc

Dromajo ESESC

docker-images

UCSC MASC dockerfiles to automate building ESESC, RISCV, LiveHD images

docs

Documentation for LiveHD and Pyrope

dromajo

RISC-V RV64GC emulator designed for RTL co-simulation

esesc

ESESC: A Fast Multicore Simulator

fluid

Fluid Pipelines

hdlagent

LLM Agent for Hardware Description Language

hhds

Hardware Hierarchical Dynamic Structures

hif

Hardware Interchange Format

hlop

Hardware Logic Operation Library

iassert

A better invariant assertion library with gdb support

kent_state_project

launcher

Benchmark launcher binary for ESESC

lgraph_hdl_files

Remote repository for HDL files used by lgraph

libelf

Fork from https://web.archive.org/web/20181111033959/www.mr511.de/software/libelf-0.8.13.tar.gz (needed by dromajo)

livehd

Live Hardware Development (LiveHD), a productive infrastructure for Synthesis and Simulation

livehd_regression

LiveHD Regression suite and scripts

liveos

Liveos

lnast-doc

LNAST API documentation with shins

madaweb

HSC Website