Functional Verification of Programmable Embedded Architectures A Top-Down Approach - Mishra, Prabhat (Springer Science+Business Media, Inc., 2005)