Functional Verification of Programmable Embedded Architectures: A Top-Down Approach

by Prabhat Mishra, Nikil D. Dutt