Skip to content
Register Sign in Wishlist

Practical Design Verification


M. Fujita, D. Gajski, S. Abdi, H. Foster, W. Wolf, M. Sonza Reorda, G. Squillero, E. Sanchez, S. Verma, I. G. Harris, M. Ciesielski, D. K. Pradhan, A. M. Jabir, J. Marques-Silva
View all contributors
  • Date Published: June 2009
  • availability: Available
  • format: Hardback
  • isbn: 9780521859721

$ 130.00

Add to cart Add to wishlist

Other available formats:

Looking for an inspection copy?

This title is not currently available for inspection. However, if you are interested in the title for your course we can consider offering an inspection copy. To register your interest please contact providing details of the course you are teaching.

Product filter button
About the Authors
  • Improve design efficiency and reduce costs with this practical guide to formal and simulation-based functional verification. Giving you a theoretical and practical understanding of the key issues involved, expert authors including Wayne Wolf and Dan Gajski explain both formal techniques (model checking, equivalence checking) and simulation-based techniques (coverage metrics, test generation). You get insights into practical issues including hardware verification languages (HVLs) and system-level debugging. The foundations of formal and simulation-based techniques are covered too, as are more recent research advances including transaction-level modeling and assertion-based verification, plus the theoretical underpinnings of verification, including the use of decision diagrams and Boolean satisfiability (SAT).

    • Provides system designers with the information needed to use different verification approaches in practice
    • Takes the practical perspective of a user of verification tools rather than that of a developer
    • Covers the foundations of formal and simulation-based techniques, as well as more recent research advances
    Read more

    Customer reviews

    Not yet reviewed

    Be the first to review

    Review was not posted due to profanity


    , create a review

    (If you're not , sign out)

    Please enter the right captcha value
    Please enter a star rating.
    Your review must be a minimum of 12 words.

    How do you rate this item?


    Product details

    • Date Published: June 2009
    • format: Hardback
    • isbn: 9780521859721
    • length: 288 pages
    • dimensions: 254 x 177 x 17 mm
    • weight: 0.72kg
    • availability: Available
  • Table of Contents

    1. Model checking and equivalence checking M. Fujita
    2. Transaction level system modeling D. Gajski and S. Abdi
    3. Result checking, monitors and assertions H. Foster
    4. System debugging strategies W. Wolf
    5. Test generation and coverage metrics M. Sonza Reorda, G. Squillero and E. Sanchez
    6. System C and Vera in a verification flow S. Verma and I. G. Harris
    7. Decision diagrams for verification M. Ciesielski, D. K. Pradhan and A. M. Jabir
    8. Boolean satisfiability and EDA applications J. Marques-Silva.

  • Authors

    Dhiraj K. Pradhan, University of Bristol
    Diraj K. Pradhan is Chair of Computer Science at the University of Bristol, UK. He previously held the COE Endowed Chair Professorship in Computer Science at Texas A & M University, also serving as Founder of the Laboratory of Computer Systems there. He has also worked as a Staff Engineer at IBM, and served as the Founding CEO of Reliable Computer Technology, Inc. A Fellow of ACM, the IEEE, and the Japan Society of Promotion of Science, Professor Pradhan is the recipient of a Humboldt Prize, Germany, and has numerous major technical publications spanning more than 30 years.

    Ian G. Harris, University of California, Irvine
    Ian G. Harris is Associate Professor in the Department of Computer Science, University of California, Irvine. He is an Executive Committee Member of the IEEE Design Automation Technical Committee (DATC) and Chair of the DATC Embedded Systems Subcommittee, as well as Chair of the IEEE Test Technology Technical Committee (TTTC) and Publicity Chair of the IEEE TTTC Tutorials and Education Group. His research interests involve the testing and validation of hardware and software systems.


    M. Fujita, D. Gajski, S. Abdi, H. Foster, W. Wolf, M. Sonza Reorda, G. Squillero, E. Sanchez, S. Verma, I. G. Harris, M. Ciesielski, D. K. Pradhan, A. M. Jabir, J. Marques-Silva

Sign In

Please sign in to access your account


Not already registered? Create an account now. ×

Sorry, this resource is locked

Please register or sign in to request access. If you are having problems accessing these resources please email

Register Sign in
Please note that this file is password protected. You will be asked to input your password on the next screen.

» Proceed

You are now leaving the Cambridge University Press website. Your eBook purchase and download will be completed by our partner Please see the permission section of the catalogue page for details of the print & copy limits on our eBooks.

Continue ×

Continue ×

Continue ×

Find content that relates to you

Join us online

This site uses cookies to improve your experience. Read more Close

Are you sure you want to delete your account?

This cannot be undone.


Thank you for your feedback which will help us improve our service.

If you requested a response, we will make sure to get back to you shortly.

Please fill in the required fields in your feedback submission.