Book (28 Feb 1991)
Not available for sale
Out of stock
This tutorial is concerned with the formal verification of functional hardware correctness, i.e., mathematically precise methods, by means of which the implementation of a hardware design can be proven to satisfy its behavioral (functional) specification. Some familiarity with switching theory and l
| ISBN: | 9780818690174 |
| Publisher: | IEEE Computer Society Press |
| Imprint: | IEEE Computer Society Press |
| Pub date: | 28 Feb 1991 |
| DEWEY: | 621.392 |
| DEWEY edition: | 20 |
| Language: | English |
| Number of pages: | 326 |
| Weight: | -1g |
$3.17off
Schaum's Outline of Computer Ar...
Paperback
Published 16 Feb 2002
Save $3.17
$7.01off
User-Centered Design
Paperback
Published 12 Apr 2013
Save $7.01
$15.31off
Continuous Deployment
Paperback
Published 06 Aug 2024
Save $15.31
$16.87off
Fundamentals of Enterprise Arch...
Paperback
Published 20 Sep 2024
Save $16.87
$24.98off
Software Engineering for Data S...
Paperback
Published 30 Apr 2024
Save $24.98
$3.69off
Healthcare Systems and Health I...
Paperback
Published 07 Oct 2024
Save $3.69
$0.55off
The Theory and Applications of ...
Paperback
Published 07 Oct 2024
Save $0.55
Technology, Human Performance, ...
Paperback
Published 09 Oct 2024
Operations Research and Systems...
Paperback
Published 09 Oct 2024