Inicio > Matemáticas y ciencia > Matemáticas > Evolutionary Algorithms for VLSI CAD
Evolutionary Algorithms for VLSI CAD

Evolutionary Algorithms for VLSI CAD

Rolf Drechsler

134,37 €
IVA incluido
Disponible
Editorial:
Springer Nature B.V.
Año de edición:
2010
Materia
Matemáticas
ISBN:
9781441950406
134,37 €
IVA incluido
Disponible

Selecciona una librería:

  • Librería Samer Atenea
  • Librería Aciertas (Toledo)
  • Kálamo Books
  • Librería Perelló (Valencia)
  • Librería Elías (Asturias)
  • Donde los libros
  • Librería Kolima (Madrid)
  • Librería Proteo (Málaga)

In VLSI CAD, difficult optimization problems have to be solved on a constant basis. Various optimization techniques have been proposed in the past. While some of these methods have been shown to work well in applications and have become somewhat established over the years, other techniques have been ignored. Recently, there has been a growing interest in optimization algorithms based on principles observed in nature, termed Evolutionary Algorithms (EAs). Evolutionary Algorithms in VLSI CAD presents the basic concepts of EAs, and considers the application of EAs in VLSI CAD. It is the first book to show how EAs could be used to improve IC design tools and processes. Several successful applications from different areas of circuit design, like logic synthesis, mapping and testing, are described in detail. Evolutionary Algorithms in VLSI CAD consists of two parts. The first part discusses basic principles of EAs and provides some easy-to-understand examples. Furthermore, a theoretical model for multi-objective optimization is presented. In the second part a software implementation of EAs is supplied together with detailed descriptions of several EA applications. These applications cover a wide range of VLSI CAD, and different methods for using EAs are described. Evolutionary Algorithms in VLSI CAD is intended for CAD developers and researchers as well as those working in evolutionary algorithms and techniques supporting modern design tools and processes.

Artículos relacionados

  • Wearable Electronics and Embedded Computing Systems for Biomedical Applications
    Wearable electronics and embedded computing systems have been receiving a great deal of interest over the last two decades in research and commercial fields, with a special focus on biomedical applications. The key benefits introduced by these systems include their small size, lightweight, low-power consumption, and, of course, wearability. Major human-centered applications are...
    Disponible

    67,84 €

  • John and Betty’s Journey Into Complex Numbers
    Matt Bower
    Set in the genre of a children’s book, John and Betty trace the evolutionof complex numbers and explore their operations. From integers, tofractions, to surds, complex numbers are made to seem like an obviousextension. Incorporating graphing on the complex number plane andculminating in De Moivre’s Theorem, the logic of complex numbers ismade to seem intuitive and simple. John ...
    Disponible

    19,23 €

  • Special Functions
    Historically, the notion of entropy emerged in conceptually very distinct contexts. This book deals with the connection between entropy, probability, and fractional dynamics as they appeared, for example, in solar neutrino astrophysics since the 1970's (Mathai and Rathie 1975, Mathai and Pederzoli 1977, Mathai and Saxena 1978, Mathai, Saxena, and Haubold 2010).The original ...
    Disponible

    75,85 €

  • VALUE DISTRIBUTION IN P-ADIC ANALYSIS
    ALAIN ESCASSUT / ESCASSUT ALAIN
     The book first explains the main properties of analytic functions in order to use them in the study of various problems in p-adic value distribution. Certain properties of p-adic transcendental numbers are examined such as order and type of transcendence, with problems on p-adic exponentials. Lazard's problem for analytic functions inside a disk is explained. P-adic meromo...
    Disponible

    231,21 €

  • WORLDWIDE LOTTERY GAMES In Naturally Optimized Systems
    Cornelia Lala / Corneliu Lala
    Worldwide Lottery Games In Naturally Optimized Systems Pick 5 has been developed on the authors’ initiative, based on the belief that nothing in the Universe happens by chance because there are laws governing everything, and by increasing our knowledge, we can triumph over mere chance. This is a book for players and/or groups of players (syndicates) who want to play to more th...
    Disponible

    28,34 €

  • ENTENDIENDO LAS PROBABILIDADES Y CALCULÁNDOLAS
    Catalin Barboianu / Rafael Martilotti
    La vida cotidiana está llena de situaciones que exigen tomar decisiones. Y en estos casos comparamos y hacemos estimaciones de probabilidades, a veces casi sin darnos cuenta, especialmente en el momento de decidir. Pero las probabilidades no son números simples asociados objetiva o subjetivamente a los eventos, como nos podría parecer, y el cálculo y el uso que le damos están e...
    Disponible

    31,57 €

Otros libros del autor

  • Formal System Verification
    Rolf Drechsler
    This book provides readers with a comprehensive introduction to the formal verification of hardware and software. World-leading experts from the domain of formal proof techniques show the latest developments starting from electronic system level (ESL) descriptions down to the register transfer level (RTL). The authors demonstrate at different abstraction layers how formal metho...
    Disponible

    160,56 €

  • Formal System Verification
    Rolf Drechsler
    This book provides readers with a comprehensive introduction to the formal verification of hardware and software. World-leading experts from the domain of formal proof techniques show the latest developments starting from electronic system level (ESL) descriptions down to the register transfer level (RTL). The authors demonstrate at different abstraction layers how formal metho...
    Disponible

    159,20 €

  • Advanced Formal Verification
    Rolf Drechsler
    Advanced Formal Verification shows the latest developments in the verification domain from the perspectives of the user and the developer. World leading experts describe the underlying methods of today’s verification tools and describe various scenarios from industrial practice. In the first part of the book the core techniques of today’s formal verif...
    Disponible

    133,98 €

  • Formal Verification of Circuits
    Rolf Drechsler
    Formal verification has become one of the most important steps in circuit design. Since circuits can contain several million transistors, verification of such large designs becomes more and more difficult. Pure simulation cannot guarantee the correct behavior and exhaustive simulation is often impossible. However, many designs, like ALUs, have ve...
    Disponible

    208,16 €

  • Advanced Formal Verification
    Rolf Drechsler
    Advanced Formal Verification shows the latest developments in the verification domain from the perspectives of the user and the developer. World leading experts describe the underlying methods of today’s verification tools and describe various scenarios from industrial practice. In the first part of the book the core techniques of today’s formal verif...
    Disponible

    132,61 €

  • Formal Verification of Circuits
    Rolf Drechsler
    Formal verification has become one of the most important steps in circuit design. Since circuits can contain several million transistors, verification of such large designs becomes more and more difficult. Pure simulation cannot guarantee the correct behavior and exhaustive simulation is often impossible. However, many designs, like ALUs, have ve...
    Disponible

    206,80 €