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