sur 10
Functional Verification of Programmable Embedded Architectures — Prabhat Mishra, Nikil D. Dutt