ASIC/SoC functional design verification a comprehensive guide to technologies and methodologies - Mehta, Ashok B. (Springer International Publishing AG, 2018)