Democratizing and Accelerating Hardware Verification with Software-Native Optimization

Λεπτομέρειες βιβλιογραφικής εγγραφής
Τίτλος: Democratizing and Accelerating Hardware Verification with Software-Native Optimization
Συγγραφείς: Xie, Yunlong, Yao, Zhicheng, Song, Fangyuan, Liu, Jincheng, Wang, Junyue, Tang, Haojin, Chen, Lu, Xu, Yinan, Zhang, Ziqing, Gao, Ziyuan, Yu, Duan, Zhou, Hongtao, Rao, Jiayi, Yue, Junyu, Li, Xiaolong, Lu, Yunqi, Yang, Zechen, Zhu, Hang, Liu, Shan, An, Xu, Ge, Qi, Ma, Jiuyue, Meng, Jianyi, Shi, Kan, Tang, Dan, Liu, Tianyi, Wang, Sa, Bao, Yungang
Πηγή: 2026 ACM/IEEE 53rd Annual International Symposium on Computer Architecture (ISCA) ISCA Computer Architecture (ISCA), 2026 ACM/IEEE 53rd Annual International Symposium on. :2173-2188 Jun, 2026
Relation: 2026 ACM/IEEE 53rd Annual International Symposium on Computer Architecture (ISCA)
Βάση Δεδομένων: IEEE Xplore Digital Library