Get Free Shipping on orders over $79
Advanced Formal Verification : Falk Symposium Ser. - Rolf Drechsler

Advanced Formal Verification

By: Rolf Drechsler (Editor)

Hardcover | 31 January 2004

At a Glance

Hardcover


$169.00

or 4 interest-free payments of $42.25 with

 or 

Ships in 5 to 7 business days

Advanced Formal Verification shows the latest developments in the verification domain from the perspectives of the user and the developer. World leading experts describe the underlying methods of today's verification tools and describe various scenarios from industrial practice. In the first part of the book the core techniques of today's formal verification tools, such as SAT and BDDs are addressed. In addition, multipliers, which are known to be difficult, are studied. The second part gives insight in professional tools and the underlying methodology, such as property checking and assertion based verification. Finally, analog components have to be considered to cope with complete system on chip designs.

Other Editions and Formats

Paperback

Published: 7th December 2010

More in Circuits & Components

Circuits and Systems : A Modern Approach - Jasper Harrison
Recent Advances in Compact Antennas - Frank Masi
Learning the Art of Electronics : A Hands-On Lab Course - Thomas C. Hayes
Introductory Circuit Analysis, Global Edition : 14th Edition - Robert L. Boylestad
Signal Integrity in Digital Systems : Principles and Practice - Edward  Wheeler
Smart Grids : Sustainable Energy Systems - K.  Karthikeyan

RRP $315.00

$271.99

14%
OFF
Energy Storage : Systems and Components - Alfred Rufer
Digital Design and Computer Architecture : 2nd Edition - Sarah Harris
Starting Electronics, 4e - Keith Brindley

RRP $51.95

$48.75