Improve design efficiency and reduce costs with this practical guide to formal and simulation-based functional verification. Giving you a theoretical and practical understanding of the key issues involved, expert authors including Wayne Wolf and Dan Gajski explain both formal techniques (model checking, equivalence checking) and simulation-based techniques (coverage metrics, test generation). You get insights into practical issues including hardware verification languages (HVLs) and system-level debugging. The foundations of formal and simulation-based techniques are covered too, as are more recent research advances including transaction-level modeling and assertion-based verification, plus the theoretical underpinnings of verification, including the use of decision diagrams and Boolean satisfiability (SAT).

About the Authors

Diraj K. Pradhan is Chair of Computer Science at the University of Bristol, UK. He previously held the COE Endowed Chair Professorship in Computer Science at Texas A & M University, also serving as Founder of the Laboratory of Computer Systems there. He has also worked as a Staff Engineer at IBM, and served as the Founding CEO of Reliable Computer Technology, Inc. A Fellow of ACM, the IEEE, and the Japan Society of Promotion of Science, Professor Pradhan is the recipient of a Humboldt Prize, Germany, and has numerous major technical publications spanning more than 30 years.

Ian G. Harris is Associate Professor in the Department of Computer Science, University of California, Irvine. He is an Executive Committee Member of the IEEE Design Automation Technical Committee (DATC) and Chair of the DATC Embedded Systems Subcommittee, as well as Chair of the IEEE Test Technology Technical Committee (TTTC) and Publicity Chair of the IEEE TTTC Tutorials and Education Group. His research interests involve the testing and validation of hardware and software systems.

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

Store Description

Labyrinth is an acclaimed independent bookstore serving the students and faculty of Princeton University as well as the town of Princeton and beyond. As the official bookstore for Princeton University, our independent store specializes in academic books for scholars, and we can always be relied upon to provide those books that form the backbone of current debates both inside and outside of the universities. We also carry books of broad and general interest: contemporary and classic literature, poetry, current events, history, philosophy, theology, cookbooks, comics, and books for children. We offer a large selection of constantly-changing inventory, daily sales and deep discounts on most books, used and antiquarian titles.

Visit Seller's Storefront

Seller's business information

Great Jones Books, Inc.
27 Route 31 South, Pennington, NJ, 08534, U.S.A.

Sale & Shipping Terms

Terms of Sale

Purchase will be shipped upon receipt of payment including any additional shipping costs. NJ residents add appropriate sales tax. If you are dissatisfied (Incorrect Item/Not as Described/Damaged) or if the order has not arrived by the latest estimated delivery date, you maybe be eligible for a refund within 30 days of the estimated delivery date. Please contact us for any other return inquiries, and we will respond within 2 business days.

Right of cancellation

Shipping Terms

Orders usually ship within 2 business days. Shipping costs are based on books weighing 2.2 lbs or less, or 1 kg. Heavy or oversized books may require additional shipping charges.

Domestic shipping: Under 2.2 lbs
Media Mail $4.00 per book + $1.00 for each additional book
Priority Mail $7.00 per book + $3.00 for each additional book

Standard Shipping orders will be delivered via UPS Ground and USPS Media Mail, typically 2-5 business days for in-stock items. In-stock items will generally ship by the next business day.

Please note: While the overwhelming majority of packages shipped via USPS Media Mail arrive within the time specified above, in rare cases shipments can take up to 3 to 5 weeks to arrive. Media Mail shipments to Alaska, Hawaii, Guam, Puerto Rico and APO/FPO addresses can take up 3 to 8 weeks to arrive.

Shipping rates from U.S.A. to United Kingdom

Shipping rates from U.S.A. to United Kingdom
Order quantity	10 to 21 business days	10 to 21 business days
First item	� 15.00	� 369.02

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.