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 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 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 →