Hardware design verification : simulation and formal method-based approaches /
Lam, William K. C.,1962-
Upper Saddle River, N.J. ; London : Prentice Hall Professional Technical Reference,
c2005.
Includes bibliographical references (p. 539-559) and index.
Integrated circuits