Welcome to Loot.co.za!   Sign in / Register |Wishlists & Gift Vouchers |Help | Advanced search
0
Your cart

Your cart is empty

Books > Professional & Technical > Electronics & communications engineering > Electronics engineering > Circuits & components

Buy Now

Abstraction Refinement for Large Scale Model Checking (Hardcover, 2006 ed.) Loot Price: R3,037
Discovery Miles 30 370
Repayment Terms: R285 pm x 12*
Add to cart
Abstraction Refinement for Large Scale Model Checking (Hardcover, 2006 ed.): Chao Wang, Gary D. Hachtel, Fabio Somenzi

Abstraction Refinement for Large Scale Model Checking (Hardcover, 2006 ed.)

Chao Wang, Gary D. Hachtel, Fabio Somenzi

Series: Integrated Circuits and Systems

 (sign in to rate)
Loot Price R3,037 Discovery Miles 30 370 | Repayment Terms: R285 pm x 12*

Bookmark and Share

Expected to ship within 10 - 15 working days

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.

General

Imprint: Springer-Verlag New York
Country of origin: United States
Series: Integrated Circuits and Systems
Release date: July 2006
First published: 2006
Authors: Chao Wang • Gary D. Hachtel • Fabio Somenzi
Dimensions: 235 x 155 x 12mm (L x W x T)
Format: Hardcover
Pages: 179
Edition: 2006 ed.
ISBN-13: 978-0-387-34155-2
Categories: Books > Professional & Technical > Electronics & communications engineering > Electronics engineering > Circuits & components
Promotions
LSN: 0-387-34155-2
Barcode: 9780387341552

Is the information for this product incomplete, wrong or inappropriate? Let us know about it.

Does this product have an incorrect or missing image? Send us a new image.

Is this product missing categories? Add more categories.

Review This Product

No reviews yet - be the first to create one!

You might also like..

Dark Silicon and Future On-chip Systems, Volume 110 (Hardcover): Suyel Namasudra, Hamid Sarbazi-Azad
Dark Silicon and Future On-chip Systems…
Suyel Namasudra, Hamid Sarbazi-Azad Hardcover R4,084 Discovery Miles 40 840
Microwave Active Circuit Analysis and Design (Hardcover): Clive Poole, Izzat Darwazeh
Microwave Active Circuit Analysis and…
Clive Poole, Izzat Darwazeh Hardcover R2,062 R1,762 Discovery Miles 17 620
Power Electronics Applied to Industrial Systems and Transports, Volume 4 - Electromagnetic Compatibility (Hardcover): Nicolas...
Power Electronics Applied to Industrial…
Nicolas Patin Hardcover R1,966 Discovery Miles 19 660
Sensors and Transducers (Hardcover, 3rd edition): Ian Sinclair
Sensors and Transducers
Ian Sinclair Hardcover R1,696 Discovery Miles 16 960
Semiconductor Lasers II - Materials and Structures (Hardcover): Eli Kapon
Semiconductor Lasers II - Materials and…
Eli Kapon Hardcover R2,326 Discovery Miles 23 260
Valve and Transistor Audio Amplifiers (Paperback): John Linsley Hood
Valve and Transistor Audio Amplifiers
John Linsley Hood Paperback R1,779 R1,682 Discovery Miles 16 820
Newnes Digital Logic IC Pocket Book, Volume 3 (Hardcover): R.M. Marston
Newnes Digital Logic IC Pocket Book…
R.M. Marston Hardcover R1,057 Discovery Miles 10 570
Active Filter Cookbook (Paperback, 2nd edition): Don Lancaster
Active Filter Cookbook
Don Lancaster Paperback R1,442 Discovery Miles 14 420
Advances in Research and Development, Volume 21 - Homojunction and Quantum-Well Infrared Detectors (Hardcover, UK ed.): Maurice...
Advances in Research and Development…
Maurice H. Francombe, John L. Vossen Hardcover R1,244 Discovery Miles 12 440
Digital Signal Processing Systems: Implementation Techniques, Volume 68 - Advances in Theory and Applications (Hardcover, UK...
Digital Signal Processing Systems…
Cornelius T. Leondes Hardcover R1,245 Discovery Miles 12 450
Introduction to Microlithography (Hardcover, 2nd Revised edition): Larry F. Thompson, C. Grant Willson, Murrae J. Bowden
Introduction to Microlithography
Larry F. Thompson, C. Grant Willson, … Hardcover R4,951 Discovery Miles 49 510
Formal Verification - An Essential Toolkit for Modern VLSI Design (Paperback, 2nd edition): Erik Seligman, Tom Schubert, M. V....
Formal Verification - An Essential…
Erik Seligman, Tom Schubert, … Paperback R2,555 R2,376 Discovery Miles 23 760

See more
Books | DVD | Games | Music | Computers | Electronics | Fashion | Sport | Kitchen | Home | Pets | DIY | Toys | Baby | Health & Beauty | Stationery | Arts & Crafts
Need help?
My account
Services
Networking
Partners