ASIC/SoC Functional Design Verification - Mehta, Ashok B. (Cham Springer International Publishing, 2018)