Hardware Design Verification : simulation and formal methods - based approaches - Lam, William K. (Pearson Education, 2005)