Call Us 080-41656200 (Mon-Sat: 10AM-8PM)
Free Shipping above Rs. 1499
Cash On Delivery*

Formal Methods in Automated Design Debugging


Marketed By :  VDM Verlag Dr. Müller   Sold By :  Kamal Books International  
Delivery in :  10-12 Business Days


Check Your Delivery Options

Rs. 4,396

Availability: In stock

  • Product Description

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 jeopardizes the efficiency of the design industry. To alleviate this burden, scalable and practical automated solutions are required. This book presents novel techniques and methodologies to bridge the gap between current capabilities of debuggers and the strict industry requirements. The contributions proposed leverage powerful advancements made in the formal methods community, such as model checking and reasoning engines, to ease the debugging effort. The first contribution, abstraction and refinement, is a systematic methodology that reduces the complexity of debugging problems under analysis. The second contribution, Bounded Model Debugging, is a methodology based on the observation that erroneous behaviour is more likely caused by errors excited temporally close to observation points. The third and fourth contributions are a formulation based on maximum satisfiability and a trace reduction technique that using reachability analysis.

Product Specifications
SKU :COC46755
AuthorSean Safarpour
Number of Pages152
Publishing Year2010-04-02T00:00:00.000
Edition1 st
Book TypeElectronics & communications engineering
Country of ManufactureIndia
Product BrandVDM Verlag Dr. Müller
Product Packaging InfoBox
In The Box1 Piece
Product First Available On ClickOnCare.com2015-03-08 00:00:00