Cardinal

Advanced Formal Verification by Rolf Drechsler Like New

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

Advanced Formal Verification by Rolf Drechsler Like New Advanced Formal Verification by Rolf Drechsler Like New Advanced Formal Verification by Rolf Drechsler Like New Advanced Formal Verification by Rolf Drechsler Like New Advanced Formal Verification by Rolf Drechsler Like New Advanced Formal Verification by Rolf Drechsler Like New Advanced Formal Verification by Rolf Drechsler Like New Advanced Formal Verification by Rolf Drechsler Like New Advanced Formal Verification by Rolf Drechsler Like New Advanced Formal Verification by Rolf Drechsler Like New

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

Recommended

Nike Air Jordan Maxin 200 WHITE BLACK Shoes Sneakers AUTHENTIC NEW CZ9174-100
Nike Air Jordan Maxin 200 WHITE BLACK Shoes Sneakers AUTHENTIC NEW CZ9174-100

$74.88

View Details
Nike Air Jordan 1 Mid Triple White 554724-136 Mens Shoes New
Nike Air Jordan 1 Mid Triple White 554724-136 Mens Shoes New

$94.00

View Details
Nike Air Max 2013 Shoes "Sunset" Black Resin HF4887-873 Men's Multi Size NEW
Nike Air Max 2013 Shoes "Sunset" Black Resin HF4887-873 Men's Multi Size NEW

$99.90

View Details
Nike Air Jordan 1 Low Shoes "Reverse Panda" White Black 553558-132 Men's NEW
Nike Air Jordan 1 Low Shoes "Reverse Panda" White Black 553558-132 Men's NEW

$98.88

View Details
Nike Air Force 1 (DR9877-102) Low White With Black, Mens 11
Nike Air Force 1 (DR9877-102) Low White With Black, Mens 11

$40.00

View Details
Nike Air Max Plus TN3 Men's Shoes Running Trainers "Black Red Yellow"
Nike Air Max Plus TN3 Men's Shoes Running Trainers "Black Red Yellow"

$82.90

View Details
Nike Kyrie Flytrap 6 Black White Athletic Shoes Men's Size 8-13 (DM1125-001)
Nike Kyrie Flytrap 6 Black White Athletic Shoes Men's Size 8-13 (DM1125-001)

$59.99

View Details
Nike Air Force 1 '07 Black/ White Panda DV0788-001 Fashion Shoes
Nike Air Force 1 '07 Black/ White Panda DV0788-001 Fashion Shoes

$83.60

View Details
Nike Air Force 1 Low '07 White CW2288-111 Men's
Nike Air Force 1 Low '07 White CW2288-111 Men's

$99.99

View Details
Nike AIR MONARCH IV Mens Black 001 Walking Shoes Medium & WIDE (4E) WIDTH
Nike AIR MONARCH IV Mens Black 001 Walking Shoes Medium & WIDE (4E) WIDTH

$62.95

View Details