ASIC/SoC Functional Design Verification A Comprehensive Guide to Technologies and Methodologies - Mehta, Ashok B. (Springer International Publishing, 2018)