Verification techniques for system-level designMasahiro Fujita, Indradeep Ghosh, Mukul Prasad · First published 2007Open the Tome
