Survey of machine learning for software-assisted hardware design verification: Past, present, and prospect January 1, 2024· Nan Wu , Yingjie Li , Hang Yang , Hanqiu Chen , Steve Dai , Cong Hao , Cunxi Yu Yuan Xie · 0 min read Cite Type Journal article Publication ACM Transactions on Design Automation of Electronic Systems publications Last updated on January 1, 2024 Authors Yuan Xie Chair Professor Fang Professor of Engineering | Chair Professor | IEEE/ACM/AAAS Fellow ← Salus: A Practical Trusted Execution Environment for CPU-FPGA Heterogeneous Cloud Platforms January 1, 2024 A comprehensive survey on distributed training of graph neural networks January 1, 2023 →