Hardware design verification : simulation and formal method-based approaches - Lam, William K. C., 1962- (Upper Saddle River, NJ : Prentice Hall Professional Technical Reference, 2005)
Includes bibliographical references (p. 539-559) and index
Keywords: Integrated circuits -- Verification