Author Description

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 copyright Book News, Inc. Portland, Or.