Functional Verification of Programmable Embedded Architectures - Mishra, Prabhat (Springer US, 2020)