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