Formal hardware verification : methods and systems in comparison /
This state-of-the-art monograph presents a coherent survey of a variety of methods and systems for formal hardware verification. It emphasizes the presentation of approaches that have matured into tools and systems usable for the actual verification of nontrivial circuits. All in all, the book is a...
| Corporate Author: | |
|---|---|
| Other Authors: | |
| Format: | eBook |
| Language: | English |
| Published: |
Berlin ; New York :
Springer,
[1997]
|
| Series: | Lecture notes in computer science ;
1287. |
| Subjects: | |
| Online Access: | Connect to the full text of this electronic book |
Internet
Connect to the full text of this electronic bookAvailable Online
| Call Number: |
TK7874.75 .F67 1997 |
|
|---|---|---|
| Call Number | Status | Get It |
| TK7874.75 .F67 1997 | Available | |