Formal Methods in Automated Design Debugging

by Sean Safarpour

The relentless growth in size and complexity of integrated circuits over the past decades continues to present new challenges to the electronic design community. Today, debugging is a bottleneck that... This description may be from another edition of this product.

• Format: Paperback
• Language: English
• ISBN: 3639245733
• ISBN13: 9783639245738
• Release Date: April 2010
• Publisher: VDM Verlag
• Length: 152 Pages
• Weight: 0.51 lbs.
• Dimensions: 0.3" x 6.0" x 9.0"