Functional Verification of Programmable Embedded Architectures: A Top-Down Approach by Prabhat Mishra | Menrva Books | MenrvaBooks