Survey of machine learning for software-assisted hardware design verification: Past, present, and prospect Jan 1, 2024· Nan Wu , Yingjie Li , Hang Yang , Hanqiu Chen , Steve Dai , Cong Hao , Cunxi Yu Prof. Yuan Xie · 0 min read Cite Type Journal article Publication ACM Transactions on Design Automation of Electronic Systems Last updated on Jan 1, 2024 Authors Prof. 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 Jan 1, 2024 A comprehensive survey on distributed training of graph neural networks Jan 1, 2023 →