MachSMT
Lee Man
lee-man
Hardware formal verification. 真正自主研发硬件形式化验证工具
HUAWEI | NOAH'S ARK LAB; CUHK CSE Ph.D. Shenzhen
Weihuang Wen
markwwen
A second-year phd candidate in CUHKSZ.
The Chinese University of Hong Kong, Shenzhen China