Principles of functional verification - Meyer, Andreas (Newnes, 2003)