Pinned Repositories
Combinatorial-Optimization-ML-Papers
"Science, however, is never conducted as a popularity contest, but instead advances through testable, reproducible, and falsifiable theories."― Michio Kaku
cosa2
Next generation cosa.
EnvSynSample
GNN-RE
GNN-RE datasets for circuit recognition
harm
HW-Formal-Paper
Recent papers related to hardware formal verification.
ILAng
A Modeling and Verification Platform for SoCs using ILAs
MICS6000I_final
property-mining
RISCV-design
Some RISCV cores based on Verilog design, for SQED detection
ZhiyuanYan's Repositories
ZhiyuanYan/property-mining
ZhiyuanYan/RISCV-design
Some RISCV cores based on Verilog design, for SQED detection
ZhiyuanYan/EnvSynSample
ZhiyuanYan/MICS6000I_final
ZhiyuanYan/Combinatorial-Optimization-ML-Papers
"Science, however, is never conducted as a popularity contest, but instead advances through testable, reproducible, and falsifiable theories."― Michio Kaku
ZhiyuanYan/cosa2
Next generation cosa.
ZhiyuanYan/GNN-RE
GNN-RE datasets for circuit recognition
ZhiyuanYan/harm
ZhiyuanYan/HW-Formal-Paper
Recent papers related to hardware formal verification.
ZhiyuanYan/ILAng
A Modeling and Verification Platform for SoCs using ILAs
ZhiyuanYan/MICS6000H-L1-
ZhiyuanYan/NLocalSAT
NLocalSAT; Boosting Local Search with Solution Prediction
ZhiyuanYan/ridecore-sqed-symbolic-start
ZhiyuanYan/starter-hugo-academic
ZhiyuanYan/wowchemy-hugo-themes
🔥 Hugo website builder, Hugo themes & Hugo CMS. No code, build with widgets! 创建在线课程，学术简历或初创网站。
ZhiyuanYan/zhiyuanyan.github.io