Hardware and Software : Verification and TestingValeria Bertacco, Axel Legay · First published 2013Open the Tome
Scalable Hardware Verification with Symbolic SimulationValeria Bertacco · First published 2005Open the Tome
