Verification techniques for system-level design by Masahiro Fujita | Menrva Books