Zexun Luo's starred repositories
EDA_FeatureColle
A collection of license features from a varity of EDA vendors
ModernCppStarter
🚀 Kick-start your C++! A template for modern C++ projects using CMake, CI, code coverage, clang-format, reproducible dependency management and much more.
fixSegfaultVCS
There is segmentation fault of VCS which should be fixed.
Formal-Verification-With-VC-Formal--Tutorials-and-Examples
This repository is dedicated to providing a comprehensive guide and practical examples for using VC Formal for formal verification. Our goal is to help both beginners and experienced users understand the principles of formal verification and how to apply them effectively using VC Formal.
awesome-web3-formal-verification
A curated list of awesome web3 formal verification resources -- including tools, tutorials, articles and more.
rocket-chip
Rocket Chip Generator
core-v-verif
Functional verification project for the CORE-V family of RISC-V cores.
chisel-interface
The 'missing header' for Chisel
ASIC-Design-Roadmap
The journey of designing an ASIC (application specific integrated circuit) is long and involves a number of major steps – moving from a concept to specification to tape-outs. Although the end product is typically quite small (measured in nanometers), this long journey is interesting and filled with many engineering challenges.
CVC4-archived
CVC4 is an efficient open-source automatic theorem prover for satisfiability modulo theories (SMT) problems.
bitwuzla
Bitwuzla is a Satisfiability Modulo Theories (SMT) solver for the theories of fixed-size bit-vectors, floating-point arithmetic, arrays and uninterpreted functions and their combinations. Its name is derived from an Austrian dialect expression that can be translated as “someone who tinkers with bits”.
chhRobotics_CPP
自动驾驶规划控制常用算法c++代码实现
rust-by-practice
Learning Rust By Practice, narrowing the gap between beginner and skilled-dev through challenging examples, exercises and projects.
SystemVerilogCourse
This is a detailed SystemVerilog course
markdown-resume
:necktie:支持 Markdown 和富文本的在线简历排版工具
keccak-asic
"Design of ASIC" - appointment project
Markdown-Resume
⭐️ Markdown 简历模版