Verification Techniques For System-Level Design door Masahiro Fujita & Indradeep Ghosh