Verification techniques for system-level design - Fujita, Masahiro, 1956- (Morgan Kaufmann Publishers, 2008)