Algorithms and Data Structures in VLSI Design

Author: Christoph Meinel
Publisher: Springer Science & Business Media
ISBN: 9783642589409
Release Date: 2012-12-06
Genre: Computers

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.

Algorithmen und Datenstrukturen im VLSI Design

Author: Christoph Meinel
Publisher: Springer-Verlag
ISBN: 9783642587733
Release Date: 2013-03-07
Genre: Computers

Eines der Hauptprobleme beim Chipentwurf besteht darin, daß die Anzahl der zu bewältigenden Kombinationen der einzelnen Chipbausteine ins Unermeßliche steigt. Hier hat sich eine sehr fruchtbare Verbindung zu einem Kerngebiet der Theoretischen Informatik, dem Gebiet des Entwurfs von Datenstrukturen und effizienten Algorithmen, herstellen lassen: das Konzept der geordneten binären Entscheidungsgraphen, das in zahlreichen CAD-Projekten zu einer beträchtlichen Leistungssteigerung geführt hat. Die Autoren stellen die Grundlagen dieses interdisziplinären Forschungsgebiets dar und behandeln wichtige Anwendungen aus dem rechnergestützten Schaltkreisentwurf.

Computer Science Theory and Applications

Author: Edward Hirsch
Publisher: Springer
ISBN: 9783319066868
Release Date: 2014-06-02
Genre: Computers

This book constitutes the proceedings of the 9th International Computer Science Symposium in Russia, CSR 2014, held in Moscow, Russia, in June 2014. The 27 full papers presented in this volume were carefully reviewed and selected from 76 submissions. In addition the book contains 4 invited lectures. The scope of the proposed topics is quite broad and covers a wide range of areas in theoretical computer science and its applications.

Mathematical Foundations of Computer Science 2000

Author: Mogens Nielsen
Publisher: Springer Science & Business Media
ISBN: 9783540679011
Release Date: 2000-08-14
Genre: Computers

This volume contains papers selected for presentation at the Silver Jubilee 25th Symposium on Mathematical Foundations of Computer Science | MFCS 2000, held in Bratislava, Slovakia, August 28 { September 1, 2000. MFCS 2000 was organized under the auspices of the Minister of Education of the Slovak Republic, Milan Ft a cnik, by the Slovak Society for Computer Science, and the Comenius University in Bratislava, in cooperation with other institu- ons in Slovakia. It was supported by the European Association for Theoretical Computer Science, the European Research Consortium for Informatics and - thematics, and the Slovak Research Consortium for Informatics and Mathe- tics. The series of MFCS symposia, organized alternately in the Czech Republic, Poland, and Slovakia since 1972, has a well-established tradition. The MFCS symposia encourage high-quality research in all branches of theoretical computer science. Their broad scope provides an opportunity of bringing together spec- lists who do not usually meet at specialized conferences. The previous meetings took place in Jablonna, 1972; Strbsk e Pleso, 1973; Jadwisin, 1974; Mari ansk e L azn e, 1975; Gdansk, 1976; Tatransk a Lomnica, 1977; Zakopane, 1978; Olomouc, 1979; Rydzina, 1980; Strbsk e Pleso, 1981; Prague, 1984; Bratislava, 1986; C- lsbad, 1988; Porabk a-Kozubnik, 1989; Bansk a Bystrica, 1990; Kazimierz Dolny, 1991; Prague, 1992; Gdansk, 1993, Ko sice, 1994; Prague, 1995; Krak ow, 1996; Bratislava, 1997; Brno, 1998; and Szklarska Poreba, 1999.

Memory Based Logic Synthesis

Author: Tsutomu Sasao
Publisher: Springer Science & Business Media
ISBN: 1441981047
Release Date: 2011-03-01
Genre: Technology & Engineering

This book describes the synthesis of logic functions using memories. It is useful to design field programmable gate arrays (FPGAs) that contain both small-scale memories, called look-up tables (LUTs), and medium-scale memories, called embedded memories. This is a valuable reference for both FPGA system designers and CAD tool developers, concerned with logic synthesis for FPGAs.

Binary Decision Diagrams and Applications for VLSI CAD

Author: Shin-ichi Minato
Publisher: Springer Science & Business Media
ISBN: 0792396529
Release Date: 1995-11-30
Genre: Technology & Engineering

Symbolic Boolean manipulation using binary decision diagrams (BDDs) has been successfully applied to a wide variety of tasks, particularly in very large scale integration (VLSI) computer-aided design (CAD). The concept of decision graphs as an abstract representation of Boolean functions dates back to the early work by Lee and Akers. In the last ten years, BDDs have found widespread use as a concrete data structure for symbolic Boolean manipulation. With BDDs, functions can be constructed, manipulated, and compared by simple and efficient graph algorithms. Since Boolean functions can represent not just digital circuit functions, but also such mathematical domains as sets and relations, a wide variety of CAD problems can be solved using BDDs. `Binary Decision Diagrams and Applications for VLSI CAD provides valuable information for both those who are new to BDDs as well as to long time aficionados.' -from the Foreword by Randal E. Bryant. `Over the past ten years ... BDDs have attracted the attention of many researchers because of their suitability for representing Boolean functions. They are now widely used in many practical VLSI CAD systems. ... this book can serve as an introduction to BDD techniques and ... it presents several new ideas on BDDs and their applications. ... many computer scientists and engineers will be interested in this book since Boolean function manipulation is a fundamental technique not only in digital system design but also in exploring various problems in computer science.' - from the Preface by Shin-ichi Minato.

Proceedings of the First NASA DoD Workshop on Evolvable Hardware

Author: Adrian Stoica
Publisher: I E E E
ISBN: 0769502563
Release Date: 1999
Genre: Computers

Looks at applying evolution-inspired formalisms to hardware design in order to produce self-reconfigurable electronic hardware by evolutionary and genetic reconfiguration mechanisms. The 35 papers cover the evolution of FPGAs, digital functions, analog and mixed- signal circuits, cellular automata and brain-inspired architectures; reconfiguration architectures and dynamic reconfiguration, advanced reconfigurable devices; applications to the design and adaptation of space sub-systems; and genetic algorithms applications. Titles, but not texts, are included for the nine invited talks. Authors, but not subjects, are indexed. Annotation copyrighted by Book News, Inc., Portland, OR

Proceedings

Author:
Publisher:
ISBN: 157735236X
Release Date: 2005
Genre: Artificial intelligence

Also available in 4 volume print edition.

Books in Print

Author:
Publisher:
ISBN: UOM:39015049090825
Release Date: 2001
Genre: American literature

Books in print is the major source of information on books currently published and in print in the United States. The database provides the record of forthcoming books, books in-print, and books out-of-print.