Design Verification with e - Palnitkar, Samir (New Delhi Pearson, 2004)