Prabhat Mishra and Nikil D. Dutt, Functional Verification of Programmable Embedded Architectures: A Top-Down Approach

Prabhat Mishra and Nikil D. Dutt, Functional Verification of Programmable Embedded Architectures: A Top-Down Approach, ISBN 978-0-387-26143-0, 2005.
Website