Wen Chen, Sandip Ray, Jayanta Bhadra, Magdy S. Abadir, Li-C. Wang: Challenges and Trends in Modern SoC Design Verification. IEEE Des. Test 34(5): 7-22 (2017)