Abstraction Refinement for Large Scale Model Checking (Series on Integrated Circuits and Systems)

Description

Publisher: Springer; 1 edition
Language: English
ISBN: 0387341552
Paperback: 1061 pages
Data: July 20, 2006
Format: PDF
Description: Abstraction Refinement for Large Scale Model Checking summarizes recent research on abstraction techniques for model checking large digital system. Considering both the size of today's digital systems and the capacity of state-of-the-art verification algorithms, abstraction is the only viable solution for the successful application of model checking techniques to industrial-scale designs. This book describes recent research developments in automatic abstraction refinement techniques. The suite of algorithms presented in this book has demonstrated significant improvement over prior art; some of them have already been adopted by the EDA companies in their commercial/in-house verification tools.



Download - (8 Mb)

Disclaimer:
Contents of this page are indexed from the Internet. All actions are under your responsability. Email us to report illegal contents or external links and we'll remove them immediately.

Download links for "Abstraction Refinement for Large Scale Model Checking (Series on Integrated Circuits and Systems)":


How to Download
You may need eMule or Bittorrent to download ebook torrents or emule links.

Report Dead Link
Please leave a comment to report dead links, so that someone else may update new links.

1. Ebooks list page : 1430
2. Abstraction Refinement for Large Scale Model Checking
3. Abstraction Refinement for Large Scale Model Checking
4. Abstraction Refinement for Large Scale Model Checking
5. System Integration: From Transistor Design to Large Scale Integrated Circuits by Kurt Hoffmann
6. System Integration: From Transistor Design to Large Scale Integrated Circuits by Kurt Hoffmann
7. System Integration: From Transistor Design to Large Scale Integrated Circuits by Kurt Hoffmann
8. Ultra Wideband: Circuits, Transceivers and Systems (Series on Integrated Circuits and Systems)
9. Ultra Wideband: Circuits, Transceivers and Systems (Series on Integrated Circuits and Systems)
10. CMOS Biotechnology (Series on Integrated Circuits and Systems)
11. CMOS Biotechnology (Series on Integrated Circuits and Systems)
12. CMOS Biotechnology (Series on Integrated Circuits and Systems)
13. CMOS Biotechnology (Series on Integrated Circuits and Systems)
14. Creating Assertion-Based IP (Series on Integrated Circuits and Systems)
15. Creating Assertion-Based IP (Series on Integrated Circuits and Systems)
16. Semiconductor Device Physics and Design (Series on Integrated Circuits and Systems)