Ashok B. Mehta ASIC/SoC Functional Design Verification: A Comprehensive Guide to Technologies and Methodologies - Springer 2018 ISBN: 9783319866208