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