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