Formal Verification of Hardware Design

Booknews

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 logic design is assumed; extensive introductory material assists the reader who has insufficient background in formal logic and automated theorem provers. Acidic paper. Annotation c. Book News, Inc., Portland, OR (booknews.com)