- 👋 Hi, I’m @tracymiao111, Mingkai Miao
- 👀 I am currently a 1st year PhD student @ Hong Kong University of Science and Technology, Guangzhou.
- 📚 Before that, I completed my Master's degree @ UIUC, ECE and my bachelor's degree in UESTC.
- ⚽️ Big fan of ManCity, come on, CITY !!!!!!!!
Popular repositories Loading
-
-
riscv-formal
riscv-formal PublicForked from SymbioticEDA/riscv-formal
RISC-V Formal Verification Framework
Verilog
-
picorv32
picorv32 PublicForked from YosysHQ/picorv32
PicoRV32 - A Size-Optimized RISC-V CPU
Verilog
-
riscv-isa-sim
riscv-isa-sim PublicForked from riscv-software-src/riscv-isa-sim
Spike, a RISC-V ISA Simulator
C
-
-
Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
If the problem persists, check the GitHub status page or contact support.