Verification techniques for system-level design - Fujita, Masahiro, 1956- (The Morgan Kaufmann series in systems on silicon, 2008)