Imagen del editor

Advanced BDD Optimization

RUDIGER EBENDT

0 valoraciones por Goodreads
ISBN 10: 144193796X / ISBN 13: 9781441937964
Editorial: Springer, 2010
Nuevos Condición: NEW Encuadernación de tapa blanda
Librería: Herb Tandree Philosophy Books (Stroud, GLOS, Reino Unido)

Librería en AbeBooks desde: 30 de septiembre de 1997

Cantidad: 1
Comprar nuevo
Precio recomendado: 199.00
Precio: EUR 156,25 Convertir moneda
Gastos de envío: EUR 8,72 De Reino Unido a Estados Unidos de America Destinos, gastos y plazos de envío
Añadir al carrito

Descripción

9781441937964 This listing is a new book, a title currently in-print which we order directly and immediately from the publisher. N° de ref. de la librería HTANDREE0296336

Hacer una pregunta a la librería

Detalles bibliográficos

Título: Advanced BDD Optimization

Editorial: Springer

Año de publicación: 2010

Encuadernación: Paperback

Condición del libro:NEW

Acerca de

Sinopsis:

VLSI CADhas greatly bene?ted from the use of reduced ordered Binary Decision Diagrams (BDDs) and the clausal representation as a problem of Boolean Satis?ability (SAT), e.g. in logic synthesis, ver- cation or design-for-testability. In recent practical applications, BDDs are optimized with respect to new objective functions for design space exploration. The latest trends show a growing number of proposals to fuse the concepts of BDD and SAT. This book gives a modern presentation of the established as well as of recent concepts. Latest results in BDD optimization are given, c- ering di?erent aspects of paths in BDDs and the use of e?cient lower bounds during optimization. The presented algorithms include Branch ? and Bound and the generic A -algorithm as e?cient techniques to - plore large search spaces. ? The A -algorithm originates from Arti?cial Intelligence (AI), and the EDA community has been unaware of this concept for a long time. Re- ? cently, the A -algorithm has been introduced as a new paradigm to explore design spaces in VLSI CAD. Besides AI search techniques, the book also discusses the relation to another ?eld of activity bordered to VLSI CAD and BDD optimization: the clausal representation as a SAT problem.

"Sobre este título" puede pertenecer a otra edición de este libro.

Descripción de la librería

All items have been carefully inspected but any found to be unsatisfactory, for whatever reasons, may be returned, please contact us on how to return a book. Our books are listed in pounds sterling, and besides accepting payment via credit card and personal UK cheque - alternative ways: (1) we are happy to invoice you in Euros, and you can either pay us via int'l bank transfer (IBAN/BIC codes will be on the invoice), or a euro cheque drawn on your personal account; (2) we can also bill in US dollars, and payment can be made with a USD personal cheque (there is a bank conversion fee added on for this means). All orders will be acknowledged, prices are net, p/p + insturance extra. Shipping prices quoted on ABE are for various air economy rates. These are for unsecured services, quotes for secured (tracked) services can be quoted for upon request, these can be quite reasonable on hearvier book parcels.

Ver la página web de la librería

Condiciones de venta:

Herb Tandree Philosophy Books, Herb Tandree, Sole Trader, Proprietor
Fromehall Mill, Blk 2, Rm 9 - Lodgemore Lane - Stroud, Glos. GL5 3EH, U.K.
herb@philosophy-books.co.uk - tel: 0044 [0]453 764 932 - fax same as phone
VAT: GB783415417

Books sent on approval, packing and post extra, alternative payment means and billing in different currencies are noted above.

Condiciones de envío:

Shipping costs are based on books weighing 2.2 LB, or 1 KG. If your book order is heavy or oversized, we may contact you to let you know extra shipping is required.

Todos los libros de esta librería

Métodos de pago
aceptados por la librería

Visa Mastercard American Express Carte Bleue

PayPal