Functional verification of programmable embedded architectures by Prabhat Mishra | Menrva Books | MenrvaBooks