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

Checkout
- Your Cart Price

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,611

Discovery Miles 36 110

Repayment Terms: R338 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,611 Discovery Miles 36 110 | Repayment Terms: R338 pm x 12*

Expected to ship within 10 - 15 working days

Description
Details
Customer Reviews

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