Volver a la portada

Galería de imágenes
¿Quieres vender uno?
Véndelo tú mismo
everybabykeepsakes
(815)
Registrado como vendedor particular
Por tanto, no se aplican las normas de protección de los consumidores derivadas de la legislación de la UE en materia de consumidores. La Garantía al cliente de eBay sigue aplicando a la mayoría de compras. Más información
Otros artículos del vendedor
Contactar con el vendedor

Algorithms and Data Structures in VLSI Design: OBDD Foundations Meinel Theobald

USD49,00
Aproximadamente43,37 EUR
o Mejor oferta
Estado:
Nuevo
Envío:
USD6,13 (aprox. 5,43 EUR) USPS Media MailTM.
Ubicado en: Beaverton, Oregon, Estados Unidos
Entrega:
Entrega prevista entre el jue. 8 may. y el mié. 14 may.
Calculamos el plazo de entrega con un método patentado que combina diversos factores, como la proximidad del comprador a la ubicación del artículo, el servicio de envío seleccionado, el historial de envíos del vendedor y otros datos. Los plazos de entrega pueden variar, especialmente en épocas de mucha actividad.
Devoluciones:
No se aceptan devoluciones.
Pagos:
    Diners Club

Compra con confianza

Garantía al cliente de eBay
Si no recibes el artículo que has pedido, te devolvemos el dinero. Más informaciónGarantía al cliente de eBay - se abre en una nueva ventana o pestaña
Informar sobre este artículo (se abre en una nueva ventana o pestaña)
El vendedor asume toda la responsabilidad de este anuncio.
N.º de artículo de eBay:274493872647

Características del artículo

Estado
Nuevo: Libro nuevo, sin usar y sin leer, que está en perfecto estado; incluye todas las páginas sin ...
Topic
Design
ISBN
9783540644866

Acerca de este producto

Product Identifiers

Publisher
Springer Berlin / Heidelberg
ISBN-10
3540644865
ISBN-13
9783540644866
eBay Product ID (ePID)
779358

Product Key Features

Number of Pages
Xii, 268 Pages
Publication Name
Algorithms and Data Structures in Vlsi Design : Obdd-Foundations and Applications
Language
English
Subject
Programming / General, Systems Architecture / General, Programming / Algorithms, Electronics / Circuits / Vlsi & Ulsi
Publication Year
1998
Type
Textbook
Author
Thorsten Theobald, Christopher Meinel
Subject Area
Computers, Technology & Engineering
Format
Trade Paperback

Dimensions

Item Height
0.3 in
Item Weight
31.4 Oz
Item Length
9.3 in
Item Width
6.1 in

Additional Product Features

Intended Audience
Scholarly & Professional
LCCN
98-026197
Dewey Edition
21
Number of Volumes
1 vol.
Illustrated
Yes
Dewey Decimal
621.39/5
Table Of Content
1. Introduction.- 2. Basics.- 2.1 Propositions and Predicates.- 2.2 Sets, Relations, and Functions.- 2.3 Graphs.- 2.4 Algorithms and Data Structures.- 2.5 Complexity of Algorithms.- 2.6 Hashing.- 2.7 Finite Automata and Finite State Machines.- 2.8 References.- I. Data Structures for Switching Functions.- 3. Boolean Functions.- 4. Classical Representations.- 5. Requirements on Data Structures in Formal Circuit Verification.- II. OBDDs: An Efficient Data Structure.- 6. OBDDs -- Ordered Binary Decision Diagrams.- 7. Efficient Implementation of OBDDs.- 8. Influence of the Variable Order on the Complexity of OBDDs.- 9. Optimizing the Variable Order.- III. Applications and Extensions.- 10. Analysis of Sequential Systems.- 11. Symbolic Model Checking.- 12. Variants and Extensions of OBDDs.- 13. Transformation Techniques for Optimization.
Synopsis
One of the main problems in chip design is the huge number of possible combinations of individual chip elements, leading to a combinatorial explosion as chips become more complex. New key results in theoretical computer science and in the design of data structures and efficient algorithms, can be applied fruitfully here. The application of ordered binary decision diagrams (OBDDs) has led to dramatic performance improvements in many computer-aided design projects. This textbook provides an introduction to the foundations of this interdisciplinary research area with an emphasis on applications in computer-aided circuit design and formal verification., One of the main problems in chip design is the enormous number of possible combinations of individual chip elements within a system, and the problem of their compatibility. The recent application of data structures, efficient algorithms, and ordered binary decision diagrams (OBDDs) has proven vital in designing the computer chips of tomorrow. This book provides an introduction to the foundations of this interdisciplinary research area, emphasizing its applications in computer aided circuit design.
LC Classification Number
QA76.6-76.66

Descripción del artículo del vendedor

Acerca de este vendedor

everybabykeepsakes

100% de votos positivos•1,5 mil artículos vendidos

Se unió el may 2007
Suele responder en 24 horas
Registrado como vendedor particularPor tanto, no se aplican los derechos de los consumidores derivados de las leyes de protección de los consumidores de la UE. La Garantía al cliente de eBay sigue aplicando a la mayoría de compras. Más informaciónMás información
Otros artículos del vendedorContactar

Votos de vendedor (433)

Todas las valoraciones
Positivas
Neutras
Negativas
  • e***t (40)- Votos emitidos por el comprador.
    Último año
    Compra verificada
    The plant came as expected and packaged well. Seller communicated very well that shipping was going to be delayed and verified that I was ok with that before finalizing the sale.
    XX Large Monstera Esqueleto Mature Form Very Rare, Rooted Plant Houseplant (#276075434636)
  • x***y (21)- Votos emitidos por el comprador.
    Último año
    Compra verificada
    The plant arrives in perfect condition as described. The shipping is a bit delayed but the seller communicates the situation with me well. Seller responds fast. In addition, the plant has developed three more leaves after arrival.
    Extremely RARE Mutant Manjula Houseplant Plant Extra Variegated Rooted 4” Pot. (#276350064918)
  • i***2 (782)- Votos emitidos por el comprador.
    Últimos 6 meses
    Compra verificada
    Very helpful and great communication!
    Reserved 3 Ea Casters Nylon swivel extra heavy duty 2200lb machinery Sisiku (#276939425575)
Ver todos los votos