Beast code in Giters

Jiang Shizhi's starred repositories

PMP

About the source code of "Merging Similar Patterns for Hardware Prefetching" paper, which is accepted in MICRO 2022.

Language:C++800

Ripes

A graphical processor simulator and assembly editor for the RISC-V ISA

Language:C++MIT241700

NutShell

RISC-V SoC designed by students in UCAS

Language:ScalaNOASSERTION134200

core-1

Semantic Search - Academic License -> This repository stores the core code base of SemFacet

Language:Web Ontology LanguageNOASSERTION200

ChampSim

ChampSim repository

Language:C++NOASSERTION2400

Bingo

The source code of "Bingo Spatial Data Prefetcher" paper, which is accepted in HPCA 2019.

Language:C++1900

arm-gem5-rsk

Official repository of the Arm Research Starter Kit on System Modeling using gem5

Language:ShellNOASSERTION10500

XiangShan

Open-source high-performance RISC-V processor

Language:ScalaNOASSERTION439300

frp

A fast reverse proxy to help you expose a local server behind a NAT or firewall to the internet.

Language:GoApache-2.08108100

e200_opensource

Deprecated, please go to next generation Ultra-Low Power RISC-V Core https://github.com/riscv-mcu/e203_hbirdv2

Language:VerilogApache-2.0254900

ChampSim

ChampSim is an open-source trace based simulator maintained at Texas A&M University and through the support of the computer architecture community.

Language:C++Apache-2.044600

cache-model

A behavioural cache model for analysing the cache behaviour under side-channel attack.

Language:C++NOASSERTION2200

cacti

An integrated cache and memory access time, cycle time, area, leakage, and dynamic power model

Language:C++36000

rocket-chip

Rocket Chip Generator

Language:ScalaNOASSERTION305200

unicorn

Unicorn CPU emulator framework (ARM, AArch64, M68K, Mips, Sparc, PowerPC, RiscV, S390x, TriCore, X86)

Language:CGPL-2.0725400

chisel

Chisel: A Modern Hardware Design Language

Language:ScalaApache-2.0377400

Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.

Language:OCamlLGPL-2.1466600

giri

Dynamic Program Slicing in LLVM Compiler

Language:C++NOASSERTION13100

oneTBB

oneAPI Threading Building Blocks (oneTBB)

Language:C++Apache-2.0538300

redis

Redis is an in-memory database that persists on disk. The data model is key-value, but many different kind of values are supported: Strings, Lists, Sets, Sorted Sets, Hashes, Streams, HyperLogLogs, Bitmaps.

Language:CNOASSERTION6523500