Model checking: a hardware design perspective (Q1856178)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 1862286
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Model checking: a hardware design perspective |
scientific article; zbMATH DE number 1862286 |
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
0.9517442
0 references
0.9253832
0 references
0 references
0 references
