Model checking: a hardware design perspective (Q1856178): Difference between revisions
From MaRDI portal
Set profile property. |
Set OpenAlex properties. |
||
| 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 | |||
Revision as of 21:22, 19 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
