Functional Verification Of Programmable Embedded Architectures by Prabhat Mishra, Nikil Dutt & Nikil D. Dutt