Effective functional verification : principles and processes - Vasudevan, Srivatsa (Dordrecht : Springer, 2006)
Includes bibliographical references and index.
Keywords: Integrated circuits -- Verification