关于我/About
我是Clo91eaf 👋,目前正在中国科学院大学杭州高等研究院攻读计算机体系结构方向的硕士学位 🎓💻。
I’m Clo91eaf 👋, currently pursuing my master’s degree in Computer Architecture at HIAS (Hangzhou Institute for Advanced Study, UCAS) 🎓💻.
我的研究方向主要关于IC形式化验证的应用 🧠🔍。
My research focuses on the applications of IC formal verification 🧠🔍.
我对计算机体系结构、嵌入式系统以及验证技术感兴趣 💻🔧🔬。
I’m highly interested in computer architecture, embedded systems, and verification technologies 💻🔧🔬.
我正在学习和使用的编程语言包括:Scala 🌟、Rust 🔨 和 Nix 🐍(如果它也算一种语言的话)。
The programming languages I’m passionate about include: Scala 🌟, Rust 🔨, and Nix 🐍 (if it counts as a language).
我曾参与过一生一芯项目,这是一个非常有趣的体系结构人才培养项目 🪄🌐。
I’ve participated in the YSYX Project, an exciting open-source chip design project 🪄🌐.
在NSCSCC 2023全国团队竞赛中,我和朋友们一起获得了二等奖 🏆,并用Chisel语言编写了一个MIPS64 CPU 💡🚀。
In the NSCSCC 2023 national team competition, I worked with my friends to win the second prize 🏆 and implemented a MIPS64 CPU using the Chisel language 💡🚀.
目前,我正在PLCT实验室实习,探索更多关于芯片设计和验证的技术前沿 🧑💻📚。
Currently, I’m interning at the PLCT Lab, exploring cutting-edge technologies in chip design and verification. 🧑💻📚.