Description: 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.
Price: 39.99 USD
Location: Boston, Massachusetts
End Time: 2024-12-11T00:11:59.000Z
Shipping Cost: 0 USD
Product Images
Item Specifics
Return shipping will be paid by: Buyer
All returns accepted: Returns Accepted
Item must be returned within: 60 Days
Refund will be given as: Money Back
Cookery Topic: N/A
Book Title: Advanced Formal Verification
Signed: No
Ex Libris: No
Age Level: Adults
City: N/A
Original Language: English
Publisher: Springer
Inscribed: No
Modified Item: No
Regional Cuisine: N/A
Type: Textbook
Format: Hardcover
Language: English
Special Attributes: Acid free paper
Region: N/A
Country: N/A
Author: Rolf Drechsle
Country/Region of Manufacture: Netherlands
Topic: chip designs, Verification, Computing
Subjects: Engineering & Technology