Hardware Design Verification door Paul Peterson, William Lam & William K.C. Lam