Pinned Repositories
30-Days-Of-Python
30 days of Python programming challenge is a step-by-step guide to learn the Python programming language in 30 days. This challenge may take more than100 days, follow your own pace. These videos may help too: https://www.youtube.com/channel/UC7PNRuno1rzYPb1xLa4yktw
AMBA_AXI_AHB_APB
AMBA bus lecture material
axe
Consistency checker for memory subsystem traces
Beauty-Of-Programming-solutions
《编程之美》例题及习题练习代码
c-programming-b
北大计算概论B
c3d-protocol
Murphi model and table of C3D protocol.
cache_coherence
3-hop MSI cache coherence protocol simulated with the Murphi formal verification tool
CacheCoherence
Cache coherence protocols developed in Murphi for EECS 570
chinese-programmer-wrong-pronunciation
中国程序员容易发音错误的单词
cmurphi
Please see https://github.com/melver/cmurphi for CMurphi.
hugeflood's Repositories
hugeflood/AMBA_AXI_AHB_APB
AMBA bus lecture material
hugeflood/cache_coherence
3-hop MSI cache coherence protocol simulated with the Murphi formal verification tool
hugeflood/CacheCoherence
Cache coherence protocols developed in Murphi for EECS 570
hugeflood/cmurphi
Please see https://github.com/melver/cmurphi for CMurphi.
hugeflood/CS-Notes
:books: 技术面试必备基础知识、Leetcode、Java、C++、Python、后端面试、计算机操作系统、计算机网络、系统设计
hugeflood/e200_opensource
Deprecated, please go to next generation Ultra-Low Power RISC-V Core https://github.com/riscv-mcu/e203_hbirdv2
hugeflood/ecs570_murphi
umich_murphi
hugeflood/gem5-RISC-V-FS-Linux
Repository containing the guide and code for booting RISC-V full system linux using gem5.
hugeflood/gem5-RISC-V-PARSEC
PARSEC http://parsec.cs.princeton.edu/ 3.0-beta-20150206 ported to Ubuntu 19.04 and with proper version control and SPLASH2 ported to Buildroot 2017.08 cross compilation (ARM, MIPS, etc.). This repo intends to support all build types and benchmarks, pull requests will be actively tested and merged.
hugeflood/gem5.TnT
gem5 Tips & Tricks
hugeflood/Intro-to-Computer-Systems
15-213计算机导论(深入理解计算机系统) lab
hugeflood/Linearization-Protocol
Verification of the Linearization Protocol proposed in: Scale-out CcNUMA: Exploiting Skew with Strongly Consistent Caching
hugeflood/matplotlib-gallery
Examples of matplotlib codes and plots
hugeflood/Murphi-dt4
hugeflood/murphi-for-remove-if
hugeflood/murphi-lib
A C++ Library for generating Murphi Code
hugeflood/Murphi_Grammar_Extensions
hugeflood/MurphiAutoTester
Rewrite a .m (CMurphi) file and recompile it for 3 different scenarios I have coded into it.
hugeflood/newParaVerifier
hugeflood/NoCRouter
RTL Network-on-Chip Router Design in SystemVerilog by Andrea Galimberti, Filippo Testa and Alberto Zeni
hugeflood/on-books
Readings and notes on the past, present, and future of books
hugeflood/project
hugeflood/risc_processor
Basic RISC processor in verilog for FPGA implementation
hugeflood/Simple-Filesystem
A simple mountable filesystem loosely based on EXT-1. It's pretty jank.
hugeflood/SPEC-CPU-2006-CFG
hugeflood/spec2006_simpoint
use two version gem5 to create spec2006 cpu simpoint & checkpoint
hugeflood/Speckle
A wrapper for the SPEC CPU2006 benchmark suite.
hugeflood/Strand_Space2Murphi
hugeflood/StrandSpace2Murphi
hugeflood/YEMU
A pet assembler and emulator for the Y86 architecture.