Practical design verification /
Pradhan, Dhiraj K.
Harris, Ian G.
Cambridge : Cambridge University Press,
2009.
Includes bibliographical references and index.
Integrated circuits