Principles of functional verification - Meyer, Andreas S. (Newnes, 2004)