A Hybrid Verification Approach for Cache Coherent Systems: Functionality and Performance

Author(s):
Jiang-Tang Xiao, Osmond Yao, Yung Cheng Chen, Harish Peta