Design Verification With E - "Palnitkar, Samir" (Pearson)
includes index and biblioraphy