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: R2,896
Discovery Miles 28 960
Repayment Terms: R271 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 R2,896 Discovery Miles 28 960 | Repayment Terms: R271 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
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..

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,720 Discovery Miles 47 200
Handbook of Research on Emerging Designs and Applications for Microwave and Millimeter Wave Circuits (Hardcover): Jamal Zbitou,...
Handbook of Research on Emerging Designs…
Jamal Zbitou, Mostafa Hefnawi, … Hardcover R8,461 Discovery Miles 84 610
Bridging Circuits and Fields - Foundational Questions in Power Theory (Paperback): Alexander I. Petroianu
Bridging Circuits and Fields…
Alexander I. Petroianu Paperback R1,539 Discovery Miles 15 390
MEMS Resonator Filters (Hardcover): Rajendra M. Patrikar
MEMS Resonator Filters
Rajendra M. Patrikar Hardcover R3,731 R3,265 Discovery Miles 32 650
Bogatin's Practical Guide to Prototype Breadboard and PCB Design (Hardcover): Eric Bogatin
Bogatin's Practical Guide to Prototype…
Eric Bogatin Hardcover R3,613 Discovery Miles 36 130
Phase-Locked Frequency Generation and Clocking - Architectures and circuits for modern wireless and wireline systems...
Phase-Locked Frequency Generation and…
Woogeun Rhee Hardcover R4,114 R3,599 Discovery Miles 35 990
Principles of Electric Circuits: Conventional Current (Paperback, 10th edition): Thomas Floyd, David Buchla
Principles of Electric Circuits…
Thomas Floyd, David Buchla Paperback R2,425 Discovery Miles 24 250
Disruptive Wide Bandgap Semiconductors, Related Technologies, and Their Applications (Hardcover): Yogesh Kumar Sharma
Disruptive Wide Bandgap Semiconductors…
Yogesh Kumar Sharma Hardcover R3,456 R3,228 Discovery Miles 32 280
Design of Terahertz CMOS Integrated Circuits for High-Speed Wireless Communication (Hardcover): Minoru Fujishima, Shuhei Amakawa
Design of Terahertz CMOS Integrated…
Minoru Fujishima, Shuhei Amakawa Hardcover R3,346 R2,927 Discovery Miles 29 270
Artificial Intelligence and Hardware Accelerators (Hardcover, 1st ed. 2023): Ashutosh Mishra, Jaekwang Cha, Hyunbin Park, Shiho...
Artificial Intelligence and Hardware…
Ashutosh Mishra, Jaekwang Cha, … Hardcover R3,316 Discovery Miles 33 160
MEMS Sensors - Design and Application (Hardcover): Siva Yellampalli
MEMS Sensors - Design and Application
Siva Yellampalli Hardcover R3,481 R3,253 Discovery Miles 32 530
Innovative Applications of Nanowires for Circuit Design (Hardcover): Balwinder Raj
Innovative Applications of Nanowires for…
Balwinder Raj Hardcover R6,509 Discovery Miles 65 090

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