Hardware and Software: Verification and Testing - Strichman, Ofer (Springer International Publishing, 2020)