Functional Verification of Programmable Embedded Architectures A Top-Down Approach - Mishra, Prabhat; Dutt, Nikil D. (Springer US, 2005)