The book presents a logical progression of e-based topics. It starts with the basics, such as functional verification methodologies, e basics and then gradually builds on to bigger examples and eventually reaches advanced topics, such as coverage driven f