Model checking: a hardware design perspective

  • Carl Pixley
  • Vigyan Singhal
Special section on model checking


Current practices in the verification of commercial hardware designs (digital, synchronous, and sequential semiconductors) are described. Recent advances in verification by the mathematical technique called model checking are described, and requirements for the successful application of model checking in commercial design are discussed.

Key words: Hardware verification – Model checking – Integrated circuits – Automated mathematical methods – Binary decision diagrams – Formal Verification 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 1999

Authors and Affiliations

  • Carl Pixley
    • 1
  • Vigyan Singhal
    • 2
  1. 1.Motorola, Inc., 5918 West Courtyard Drive, MD: F30B, Austin, TX 78730, USA; E-mail: carl_pixley@email.mot.comUS
  2. 2.Cadence Berkeley Labs, 2001 Addison Street, 3rd Floor, Berkeley, CA 94704, USA; E-mail: vigyan@cadence.comUS

Personalised recommendations