Micro Architecture at Santa Cruz (MASC)

UC Santa Cruz

Pinned Repositories

anubis
The ANUBIS benchmark suite for Incremental Synthesis
Language:C12 9 02
cmpe220fall16
Public repository of the UCSC CMPE220 class project
Language:Verilog10 19 61
docker-images
UCSC MASC dockerfiles to automate building ESESC, RISCV, LiveHD images
Language:Dockerfile6 7 30
esesc
ESESC: A Fast Multicore Simulator
Language:C135 32 1662
fluid
Fluid Pipelines
Language:Scala11 14 12
hdlagent
LLM Agent for Hardware Description Language
Language:Python19 19 18
hif
Hardware Interchange Format
Language:C++9 19 12
livehd
Live Hardware Development (LiveHD), a productive infrastructure for Synthesis and Simulation
Language:FIRRTL217 29 17949
liveos
Liveos
Language:JavaScript8 6 12
MASC-AI-Synthesized-Cryptoprocessor
Language:Verilog7 4 01

Micro Architecture at Santa Cruz (MASC)'s Repositories

masc-ucsc/livehd
Live Hardware Development (LiveHD), a productive infrastructure for Synthesis and Simulation
Language:FIRRTL217 29 17949
masc-ucsc/esesc
ESESC: A Fast Multicore Simulator
Language:C135 32 1662
masc-ucsc/hdlagent
LLM Agent for Hardware Description Language
Language:Python19 19 18
masc-ucsc/hif
Hardware Interchange Format
Language:C++9 19 12
masc-ucsc/MASC-AI-Synthesized-Cryptoprocessor
Language:Verilog7 4 01
masc-ucsc/hagent
Hardware Agent
Language:Python51
masc-ucsc/hhds
Hardware Hierarchical Dynamic Structures
Language:C++5 17 15
masc-ucsc/pyrope_artifacts
Pyrope, a modern HDL with a Live flow
Language:C5 19 891
masc-ucsc/tree-sitter-pyrope
tree-sitter Pyrope grammar
Language:C5 19 11
masc-ucsc/hdeval
Hardware Description Language Evaluation suite for LLM
Language:Python4 19 02
masc-ucsc/mmm
Memory Marionette Model
Language:C++4 18 11
masc-ucsc/desesc
Dromajo ESESC
Language:C++3 18 15
masc-ucsc/livehd_regression
LiveHD Regression suite and scripts
Language:Verilog3 20 00
masc-ucsc/dromajo
RISC-V RV64GC emulator designed for RTL co-simulation
Language:C++1 2 02
masc-ucsc/superbp
Super Scalar Branch Predictor
Language:C++1 21 0
masc-ucsc/verilog_agent_format
Experimental repo to create an Agent that formats LiveHD Generated Verilog
1
masc-ucsc/airspace-hugo
Airspace theme (Hugo version)
Language:CSS2 0
masc-ucsc/ariane
Ariane is a 6-stage RISC-V CPU capable of booting Linux
Language:SystemVerilog2 0
masc-ucsc/bazel_rules_hdl
Hardware Description Language (Verilog, VHDL, Chisel, nMigen, etc) with open tools (Yosys, Verilator, OpenROAD, etc) rules for Bazel (https://bazel.build)
Language:Starlark1 0
masc-ucsc/black-parrot
A Linux-capable RISC-V multicore for and by the world
Language:SystemVerilog1 0
masc-ucsc/black-parrot-sdk
Language:Python1 0
masc-ucsc/black-parrot-sim
Language:Dockerfile1 0
masc-ucsc/docs
Documentation for LiveHD and Pyrope
Language:Ruby20 01
masc-ucsc/hlop
Hardware Logic Operation Library
Language:C++18 11
masc-ucsc/libelf
Fork from https://web.archive.org/web/20181111033959/www.mr511.de/software/libelf-0.8.13.tar.gz (needed by dromajo)
Language:C3 0
masc-ucsc/madaweb
HSC Website
Language:HTML26 01
masc-ucsc/OpenTimer
A High-performance Timing Analysis Tool for VLSI Systems
Language:Verilog1 0
masc-ucsc/slang
SystemVerilog compiler and language services
Language:C++1 0
masc-ucsc/tree-sitter-verilog
SystemVerilog grammar for tree-sitter
masc-ucsc/verilog-parser
Testing Verilog Parser with Python
Language:Python17 0