Standardized Functional Verification by Alan Wiemann