ASIC/SoC Functional Design Verification. 1st ed. 2018 - Mehta, Ashok B. (Springer International Publishing, 2020)