The Art of Verification with Vera covers the essential elements of VERA with detailed examples demonstrating how the VERA testbench tool and the OpenVera language can be harnessed to effectively verify different types of designs. It helps the reader understand critical verification issues and teaches how to expedite and enhance functional design verification. This book discusses a range of verification issues, including test case identification, stimulus generation, results checking, test coverage and test regression. Theses concepts are used to develop a verification strategy and a VERA testbench for a common design. Each component of this testbench is discussed in detail to demonstrate the methodologies presented.

About the Author

Faisal Haque has 20+ years experience in high-level verification and design of complex networking hardware. He was the former chair of SystemVerilog Assertions committee and is currently chairing the UCIS committee. He received his bachelors in electrical engineering from the University of Notre Dame.

Jonathan Michelson has 12+ years of experience designing and verifying complex designs. He was co-designer of a verification language and methodology at Silicon Graphics. He received his bachelors and masters degrees in electrical engineering and computer science from the Massachusetts Institute of Technology.

Khizar Khan has 9 years of experience in high-level verification and developing verification infrastructures. At Raza Microelectronics Incorporated, he is contributing to the verification of next generation microprocessors. He received his bachelors in electrical engineering from the University of Rochester.

"About this title" may belong to another edition of this title.

Store Description

Visit Seller's Storefront

Seller's business information

BennettBooksLtd
CA, U.S.A.

Sale & Shipping Terms

Terms of Sale

We guarantee the condition of every book as it's described on the Abebooks web sites. If you're dissatisfied with your purchase (Incorrect Book/Not as Described/Damaged) or if the order hasn't arrived, you're eligible for a refund within 30 days of the estimated delivery date. If you've changed your mind about a book that you've ordered, please use the Ask bookseller a question link to contact us and we'll respond within 2 business days.

Shipping Terms

Orders ship within 2 business days. Shipping costs are based on books weighing 2.2 LB, or 1 KG. If your book order is heavy or oversized, we may contact you to let you know extra shipping is required.

Shipping rates within U.S.A.

Shipping rates within U.S.A.
Order quantity	7 to 30 business days	3 to 14 business days
First item	US$ 5.61	US$ 8.95

Delivery times are set by sellers and vary by carrier and location. Orders passing through Customs may face delays and buyers are responsible for any associated duties or fees. Sellers may contact you regarding additional charges to cover any increased costs to ship your items.