Design Verification With E by Samir Palnitkar & Samir Palniktar