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...
Saved in:
| Other Authors: | |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
Berlin ; New York :
Springer,
c1997.
|
| Series: | Lecture notes in computer science ;
1287. |
| Subjects: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|