Text this: Verification techniques for system-level design / Masahiro Fujita, Indradeep Ghosh, and Mukul Prasad.