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