Design Verification with e - Samir Palnitkar