Reasoning In Boolean Networks : Logic Synthesis And Verification Using Testing Techniques (frontiers In Electronic Testing)

Wolfgang Kunz, Dominik Stoffel ,

ISBN 10: 0792399218 ISBN 13: 9780792399216

Editorial: Springer, 1997

Idioma: Ingl�s

Condici�n: Nuevo Encuadernaci�n de tapa dura

Guardar para m�s tarde

Vendido por Basi6 International, Irving, TX, Estados Unidos de America

Vendedor de AbeBooks desde 24 de junio de 2016

Calificaci�n del vendedor: 5 de 5 estrellas

Ver los art�culos de este vendedor

Ver todos los ejemplares de este libro

Nuevos - Encuadernaci�n de tapa dura

Condici�n: Nuevo

Precio: EUR 122,16 Convertir moneda

EUR 25,66 gastos de env�o desde Estados Unidos de America a Espa�a Destinos, gastos y plazos de env�o

Cantidad disponible: 1 disponibles

A�adir al carrito

Guardar para m�s tarde

Descripci�n

New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.

N� de ref. del art�culo ABEJUNE24-343570

Contactar al vendedor

Denunciar este art�culo

Detalles bibliogr�ficos

T�tulo

Reasoning In Boolean Networks : Logic Synthesis And Verification Using Testing Techniques (frontiers In Electronic Testing)

Editor

Springer

Fecha de publicaci�n

1997

Idioma

Ingl�s

ISBN 10

0792399218

ISBN 13

9780792399216

Encuadernaci�n

Encuadernaci�n de tapa dura

Estado

Brand New

Cat�logos de vendedores

Acerca de

Sinopsis

Reasoning in Boolean Networks provides a detailed treatment of recent research advances in algorithmic techniques for logic synthesis, test generation and formal verification of digital circuits. The book presents the central idea of approaching design automation problems for logic-level circuits by specific Boolean reasoning techniques.
While Boolean reasoning techniques have been a central element of two-level circuit theory for many decades Reasoning in Boolean Networks describes a basic reasoning methodology for multi-level circuits. This leads to a unified view on two-level and multi-level logic synthesis. The presented reasoning techniques are applied to various CAD-problems to demonstrate their usefulness for today's industrially relevant problems.
Reasoning in Boolean Networks provides lucid descriptions of basic algorithmic concepts in automatic test pattern generation, logic synthesis and verification and elaborates their intimate relationship to provide further intuition and insight into the subject. Numerous examples are provide for ease in understanding the material.
Reasoning in Boolean Networks is intended for researchers in logic synthesis, VLSI testing and formal verification as well as for integrated circuit designers who want to enhance their understanding of basic CAD methodologies.

Rese�a del editor

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

Descripci�n de la librer�a

Professional Book Seller offering fast shipping and hassle-free returns for every order. Our 100% satisfaction policy guarantees that you get the best product and the best service at the best price!

Ver la p�gina web de la librer�a

Informaci�n empresarial del vendedor

Basi6 International LLC
1018 Camino Lago, Irving, TX, 75039, U.S.A.

Condiciones de venta y env�o

Condiciones de venta

Professional Book Seller shipping from Multiple Locations Worldwide for fastest delivery possible!

Derecho a cancelaci�n

Condiciones de env�o

All orders shipped via FedEx or DHL and delivered to your doorstep within 3-5 days. We do not ship to P.O.Boxes and a proper street address must be provided to avoid any delays.

Tarifas de env�o de Estados Unidos de America a Espa�a

Tarifas de env�o de Estados Unidos de America a Espa�a
Cantidad del pedido	De 25 a 45 d�as h�biles	De 8 a 14 d�as h�biles
Primer art�culo	EUR 25.66	EUR 25.66

Los plazos de entrega los establecen los vendedores y var�an seg�n el transportista y la ubicaci�n. Los pedidos que pasan por la aduana pueden sufrir retrasos y los compradores son responsables de los aranceles o tarifas asociadas. Los vendedores pueden ponerse en contacto con usted en relaci�n con cargos adicionales para cubrir cualquier aumento en los costes de env�o de los art�culos.

Informaci�n detallada sobre el vendedor