Home
News
Members
Publications
NVIDIA Research
Light
Dark
Automatic
Yunsheng Bai
NVIDIA
Interests
Formal Verification
Machine Learning for EDA
Latest
Learning to Compare Hardware Designs for High-Level Synthesis
Cite
×