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