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