Hardware and Software : Verification and TestingRoderick Bloem, Eli Arbel · First published 2016Open the Tome