English
United States
Sign in
Tip from find-more-books.com
Similar books
More/other books that might be very similar to this book
Search tools
Book recommendations
Latest news
Advertising
Paid advertisement
FILTER
- 0 Results
Lowest price: 46.95 €, highest price: 59.00 €, average price: 55.57 €
Formal Methods in Automated Design Debugging - Sean Safarpour
book is out-of-stock
(*)
Sean Safarpour:
Formal Methods in Automated Design Debugging - new book

ISBN: 9783639245738

ID: 19fdf5ede40bcb79d4e453d65a27d21e

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. Bücher / Naturwissenschaften, Medizin, Informatik & Technik / Technik / Elektronik & Elektrotechnik, [PU: VDM Verlag Dr. Müller, Saarbrücken]

New book Dodax.de
Nr. 57c05a5c8febf1092856d6a4 Shipping costs:Versandkosten: 0.0 EUR, Lieferzeit: 6 Tage, DE. (EUR 0.00)
Details...
(*) Book out-of-stock means that the book is currently not available at any of the associated platforms we search.
Formal Methods in Automated Design Debugging - Safarpour, Sean
book is out-of-stock
(*)
Safarpour, Sean:
Formal Methods in Automated Design Debugging - Paperback

2010, ISBN: 9783639245738

[ED: Softcover], [PU: Vdm Verlag Dr. Müller], 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.2010. 152 S.Versandfertig in 3-5 Tagen, [SC: 0.00]

New book Booklooker.de
buecher.de GmbH & Co. KG
Shipping costs:Versandkostenfrei, Versand nach Deutschland (EUR 0.00)
Details...
(*) Book out-of-stock means that the book is currently not available at any of the associated platforms we search.
Formal Methods in Automated Design Debugging - Safarpour, Sean
book is out-of-stock
(*)
Safarpour, Sean:
Formal Methods in Automated Design Debugging - Paperback

2010, ISBN: 3639245733

Hardcover, ID: 7115195

Bridging the gap between debugging needs and automated capabilities - Buch, gebundene Ausgabe, 152 S., Beilagen: Paperback, Erschienen: 2010 VDM Verlag, [PU: VDM Verlag Dr. Müller, Saarbrücken]

New book Buch24.de
buch24de
Shipping costs:plus shipping costs
Details...
(*) Book out-of-stock means that the book is currently not available at any of the associated platforms we search.
Formal Methods in Automated Design Debugging als Buch von Sean Safarpour
book is out-of-stock
(*)
Formal Methods in Automated Design Debugging als Buch von Sean Safarpour - new book

ISBN: 9783639245738

ID: 10849805

Formal Methods in Automated Design Debugging ab 58.99 EURO Bridging the gap between debugging needs and automated capabilities Medien > Bücher, VDM Verlag

New book eBook.de
Nr. 3639245733. Shipping costs:, , zzgl. Versandkosten., plus shipping costs
Details...
(*) Book out-of-stock means that the book is currently not available at any of the associated platforms we search.
Formal Methods in Automated Design Debugging - Sean Safarpour
book is out-of-stock
(*)
Sean Safarpour:
Formal Methods in Automated Design Debugging - Paperback

2010, ISBN: 9783639245738

ID: 13298792

Bridging the gap between debugging needs and automated capabilities, Softcover, Buch, [PU: VDM Verlag]

New book Lehmanns.de
Shipping costs:sofort lieferbar, , Versandkostenfrei innerhalb der BRD (EUR 0.00)
Details...
(*) Book out-of-stock means that the book is currently not available at any of the associated platforms we search.

Details of the book
Formal Methods in Automated Design Debugging

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.

Details of the book - Formal Methods in Automated Design Debugging


EAN (ISBN-13): 9783639245738
ISBN (ISBN-10): 3639245733
Hardcover
Paperback
Publishing year: 2010
Publisher: Vdm Verlag Dr. Müller

Book in our database since 02.07.2008 09:16:16
Book found last time on 01.06.2018 13:48:16
ISBN/EAN: 9783639245738

ISBN - alternate spelling:
3-639-24573-3, 978-3-639-24573-8


< to archive...
Related books