Design verification with e - Palnitkar, Samir. (Prentice Hall PTR, 2004)