Verification techniques for system-level design - Fujita, Masahiro 1956- (Morgan Kaufmann Publishers, 2008)
Includes bibliographical references and index