Title: Correct hardware design and verification methods
First published: 1993