Hardware and Software: Verification and Testing - Yorav, Karen (Springer Berlin Heidelberg, 2020)