Hardware/software co-verification is how to make sure that embedded system software works correctly with the hardware, and that the hardware has been properly d

This book constitutes the refereed proceedings of the 9th International Haifa Verification Conference, HVC 2013, held in Haifa, Israel in November 2013. The 24

The Newnes Know It All Series takes the best of what our authors have written to create hard-working desk references that will be an engineer's first port of ca