Model checking: a hardware design perspective
- 32 Downloads
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.
Unable to display preview. Download preview PDF.