Model checking: a hardware design perspective (Q1856178): Difference between revisions
From MaRDI portal
Changed an Item |
Normalize DOI. |
||
| (2 intermediate revisions by 2 users not shown) | |||
| Property / DOI | |||
| Property / DOI: 10.1007/s100090050036 / rank | |||
| Property / MaRDI profile type | |||
| Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
| Property / full work available at URL | |||
| Property / full work available at URL: https://doi.org/10.1007/s100090050036 / rank | |||
Normal rank | |||
| Property / OpenAlex ID | |||
| Property / OpenAlex ID: W2003823575 / rank | |||
Normal rank | |||
| Property / DOI | |||
| Property / DOI: 10.1007/S100090050036 / rank | |||
Normal rank | |||
Latest revision as of 10:30, 16 December 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
