Pinned Repositories
VeriXmith
A tool for cross-checking Verilog compilers
XiangShan
Open-source high-performance RISC-V processor
compiler
WARNING: DEPRECATED!!! For SysY Language.
Computer-Architecture-Exercise-2020
《计算机体系结构（第2版）》课后习题
configuration
backup for "rc" files
Coppelia
Code repository for Coppelia tool
csp-solution
Written down before my last try of csp in 2020-9. Including some of my solutions in Python.
lazy
Configuration for LazyVim
lipsi
Lipsi: Probably the Smallest Processor in the World
pipemimic
Slightly enhanced pipecheck in Scala.
YikeZhou's Repositories
YikeZhou/Computer-Architecture-Exercise-2020
《计算机体系结构（第2版）》课后习题
YikeZhou/pipemimic
Slightly enhanced pipecheck in Scala.
YikeZhou/compiler
WARNING: DEPRECATED!!! For SysY Language.
YikeZhou/configuration
backup for "rc" files
YikeZhou/Coppelia
Code repository for Coppelia tool
YikeZhou/csp-solution
Written down before my last try of csp in 2020-9. Including some of my solutions in Python.
YikeZhou/lazy
Configuration for LazyVim
YikeZhou/lipsi
Lipsi: Probably the Smallest Processor in the World
YikeZhou/pipecheck
YikeZhou/pysmt
pySMT: A library for SMT formulae manipulation and solving
YikeZhou/rename-sim
A simulator for renaming process in modern processors.
YikeZhou/sml-lab-winter2018
My vegetable exploded.
YikeZhou/systemverilog-verilog-examples-collector
YikeZhou/YikeZhou.github.io
A jekyll based resume template
YikeZhou/zlog