Model checking: a hardware design perspective (Q1856178): Difference between revisions
From MaRDI portal
Changed an Item |
Set profile property. |
||
| Property / MaRDI profile type | |||
| Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Revision as of 04:56, 5 March 2024
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
