Standardized Functional Verification - Wiemann, Alan. (Springer US : Imprint: Springer, 2008)