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 (Paperback, 2006 ed.) Loot Price: R3,332
Discovery Miles 33 320
Repayment Terms: R312 pm x 12*
Add to cart
Abstraction Refinement for Large Scale Model Checking (Paperback, 2006 ed.): Chao Wang, Gary D. Hachtel, Fabio Somenzi

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

Chao Wang, Gary D. Hachtel, Fabio Somenzi

Series: Integrated Circuits and Systems

 (sign in to rate)
Loot Price R3,332 Discovery Miles 33 320 | Repayment Terms: R312 pm x 12*

Bookmark and Share

Expected to ship within 18 - 22 working days

This book summarizes recent research on abstraction techniques for model checking large digital system. Considering 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. The suite of algorithms presented here represents significant improvement over prior art; some 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: December 2014
First published: 2006
Authors: Chao Wang • Gary D. Hachtel • Fabio Somenzi
Dimensions: 235 x 155 x 11mm (L x W x T)
Format: Paperback
Pages: 179
Edition: 2006 ed.
ISBN-13: 978-1-4899-9395-3
Categories: Books > Professional & Technical > Electronics & communications engineering > Electronics engineering > Circuits & components
Promotions
LSN: 1-4899-9395-9
Barcode: 9781489993953

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 R3,940 Discovery Miles 39 400
Power Supplies for LED Driving (Paperback, 2nd edition): Steve Winder
Power Supplies for LED Driving
Steve Winder Paperback R1,625 R1,393 Discovery Miles 13 930
Microwave Active Circuit Analysis and Design (Hardcover): Clive Poole, Izzat Darwazeh
Microwave Active Circuit Analysis and…
Clive Poole, Izzat Darwazeh Hardcover R1,978 R1,713 Discovery Miles 17 130
Power Electronics Applied to Industrial Systems and Transports, Volume 4 - Electromagnetic Compatibility (Hardcover): Nicolas...
Power Electronics Applied to Industrial…
Nicolas Patin Hardcover R1,908 Discovery Miles 19 080
Electronics Simplified (Paperback, 3rd edition): Ian Sinclair
Electronics Simplified
Ian Sinclair Paperback R651 Discovery Miles 6 510
RF / Microwave Circuit Design for Wireless Applications (Hardcover, 2nd Edition): Ulrich L. Rohde, Matthias Rudolph
RF / Microwave Circuit Design for…
Ulrich L. Rohde, Matthias Rudolph Hardcover R4,952 Discovery Miles 49 520
Practical Analog, Digital, and Embedded Electronics for Scientists (Paperback): Brett D. DePaola
Practical Analog, Digital, and Embedded…
Brett D. DePaola Paperback R770 Discovery Miles 7 700
Simulation Methods for ESD Protection Development (Hardcover): Harald Gossner, Kai Esmark, Wolfgang Stadler
Simulation Methods for ESD Protection…
Harald Gossner, Kai Esmark, … Hardcover R4,190 Discovery Miles 41 900
Sensors and Transducers (Hardcover, 3rd edition): Ian Sinclair
Sensors and Transducers
Ian Sinclair Hardcover R1,649 Discovery Miles 16 490
Oscilloscopes (Paperback, 5th edition): Ian Hickman
Oscilloscopes
Ian Hickman Paperback R1,311 Discovery Miles 13 110
Principles of Transistor Circuits (Paperback, 9th edition): S.W. Amos, Mike James
Principles of Transistor Circuits
S.W. Amos, Mike James Paperback R1,479 Discovery Miles 14 790
Techniques and Challenges for 300 mm Silicon: Processing, Characterization, Modelling and Equipment, Volume 81 (Hardcover): H....
Techniques and Challenges for 300 mm…
H. Richter, P. Wagner, … Hardcover R4,302 Discovery Miles 43 020

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