A Hybrid Verification Approach for Cache Coherent Systems: Functionality and Performance Author(s): Jiang-Tang Xiao, Yung Cheng Chen, Harish Peta, Osmond Yao Download