|
|||||
|
|
Model checking: a hardware design perspective |
|
| Authors: | Carl Pixley Vigyan Singhal |
| Affiliation: | (1) Motorola, Inc., 5918 West Courtyard Drive, MD: F30B, Austin, TX 78730, USA; E-mail: carl_pixley@email.mot.com, US;(2) Cadence Berkeley Labs, 2001 Addison Street, 3rd Floor, Berkeley, CA 94704, USA; E-mail: vigyan@cadence.com, US |
| Abstract: | 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. |
| Keywords: | : Hardware verification – Model checking – Integrated circuits – Automated mathematical methods – Binary decision diagrams – Formal Verification |
| 本文献已被 SpringerLink 等数据库收录！ | |