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