(Prentice Hall modern semiconductor design series) Palnitkar, Samir - Design verification with e-Prentice Hall PTR (2003_2004)