Formal Hardware Verification
| Use attributes for filter ! | |
| Google books | books.google.com |
|---|---|
| Originally published | August 27, 1997 |
| Authors | Thomas Kropf |
| Editors | Thomas Kropf |
| Date of Reg. | |
| Date of Upd. | |
| ID | 2175737 |
About Formal Hardware Verification
This advanced textbook presents an almost complete overview of techniques for hardware verification. . . .