zhewen404 Goto Github PK

759project

booksim2

BookSim 2.0

buffets

Implementations of Buffets, which are efficient, composable idioms for implementing Explicit Decoupled Data Orchestration.

cache-profiling

champsim

ChampSim repository

condor

config

gem5

gem5-myfeature

gem5-resources

gem5tomcpat

hieragen

We present HieraGen, a new tool for automatically generating hierarchical cache coherence protocols. HieraGen's inputs are the simple, atomic, stable state protocols for each level of the hierarchy. HieraGen's output is a highly concurrent hierarchical protocol, in the form of the finite state machines for all of the cache and directory controllers. HieraGen thus reduces the complexity that architects face, by offloading the challenging tasks of composing protocols and managing concurrency. Experiments show that HieraGen can automatically generate correct-by-construction MOESI family of hierarchical protocols with dozens of states and hundreds of transitions. We have verified all of the generated protocols for safety and deadlock freedom using a model checker.

hub_pe

hw_fc

macsim

A heterogeneous architecture timing model simulator.

miniproject

mirage

MIRAGE (USENIX Security 2021)

murphi3.1

mysoc

Using EAGLE 9.3.0 education

nn_dataflow

Explore the energy-efficient dataflow scheduling for neural networks.

noxim

Network on Chip Simulator

open-source-network-on-chip-router-rtl

pin-3.24-98612-g6bd5931f2-gcc-linux

my pin tool repository

pycachesim

Python Cache Hierarchy Simulator

scsim

submit

swap

syn_script

tools

unarysim

This is a PyTorch-based simulator for general unary computing, with the paper accepted to ISCA 2020 and awarded IEEE Micro Top Pick for 2020.