67 citations · 95 across the 5 of their papers we have counts for
1 paper · 1 filter
Yang Zhong, Haoran Wu, Xueqi Li +4
Verification is a critical process for ensuring the correctness of modern processors. The increasing complexity of processor designs and the emergence of new instruction set archit…