Model checking: a hardware design perspective (Q1856178)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Model checking: a hardware design perspective |
scientific article |
Statements
Model checking: a hardware design perspective (English)
0 references
1999
0 references
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.
0 references
hardware verification
0 references
model checking
0 references
integrated circuits
0 references
automated mathematical methods
0 references
binary decision diagrams
0 references
formal verification
0 references
