Covers the methodology and state-of-the-art techniques of constrained verification, which is new and popular.

It relates constrained verification with the also-hot technology called assertion-based design.

Discussed and clarifies language issues, critical to both the above, which will help the implementation of these languages.

Constraint-Based Verification covers an emerging field in functional verification of electronic designs, referred to as the "constraint-based verification." The topics are developed in the context of a wide range of dynamic and static verification approaches including simulation, emulation, and formal methods. The goal is to show how constraints, or assertions, can be used towards automating the generation of testbenches, resulting in a seamless verification flow. Topics such as verification coverage, and connection with assertion based verification, are also covered.

The book targets verification engineers as well as researchers. It covers both methodological and technical issues. Particular stress is given to the latest advances in functional verification.

The research community has witnessed recent growth of interests in constraint-based functional verification. Various techniques have been developed. They are relatively new, but have reached a level of maturity so that they are appearing in commercial tools such as Vera and System Verilog.

New Java versions of all C++ programs in the book at http: //bit.ly/epi-programs

Get a PDF sampler of EPI from http: //bit.ly/epi-sampler

Have you ever...

Wanted to work at an exciting futuristic company? Struggled with an interview problem that could have been solved in 15 minutes? Wished you could study real-world computing problems?

If so, you need to read Elements of Programming Interviews (EPI).

The core of EPI is a collection of 300 problems with detailed solutions, including over 100 figures and 250 tested programs. The problems are challenging, well-motivated, and accessible. They are representative of the questions asked at interviews at the most exciting companies.

The book begins with a summary of patterns for data structure, algorithms, and problem solving that will help you solve the most challenging interview problems. This is followed by chapters on basic and advanced data structures, algorithm design, concurrency, system design, probability and discrete mathematics. Each chapter starts with a brief review of key concepts and results followed by a deep and wide set of questions.

EPI concludes with a summary of the nontechnical aspects of interviewing, including common mistakes, strategies for a great interview, perspectives from across the table, negotiating the best offer, and much more.

"This book is the best compilation of programming related problems I have seen. It is a great resource for a diverse set of topics when preparing for technical interviews, as a quick refresher in a subject area or when you are just looking for a brain teaser to challenge yourself."
Shashank Gupta / Scaligent, formerly Engineering Manager, Amazon.com, Senior Engineering Manager, Yahoo , Manager of Software Development, Cisco Systems

This is an essential - must have, insider's guide on "How to save money on car insurance." A former insurance advisor talks about the 14 factors that affect the Premium and how to lower your insurance quote substantially. Jargon free, yet comprehensive and easy to follow, this guide explains the overall insurance principles/concepts, the insurance company's rights, your rights as a customer, plus useful advice and suggestions. Car insurance is calculated based on multiple factors, mostly automatically. This book covers topics of insurance quote gathering process, and provides necessary information about the factors affecting the price- such as Age, Advanced Driving Tests, No Claim Discounts, Gender, Marital Status, Risk Address, License types, Car models, Excess, Additional drivers etc. Different types of Cover - Comprehensive, Third Party Fire and Theft; and Third Party Only, are also discussed. The final and crucial chapter covers the most neglected areas in the insurance industry, Accidents, Claims and Compensation. This chapter prepares you for insurance related issues in case of an accident, preparation before and after accident situations, such as court case, procedures for making complaints and what to do in case of a hit and run driver etc. A succinct FAQ section and an Index allows readers to access required information quickly and easily.