Search Results: algorithms-and-data-structures-in-vlsi-design-obdd-foundations-and-applications

Algorithms and Data Structures in VLSI Design

OBDD - Foundations and Applications

Author: Christoph Meinel,Thorsten Theobald

Publisher: Springer Science & Business Media

ISBN: 3642589405

Category: Computers

Page: 268

View: 2378

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

OBDD — Grundlagen und Anwendungen

Author: Christoph Meinel,Thorsten Theobald

Publisher: Springer-Verlag

ISBN: 3642587739

Category: Computers

Page: 286

View: 9530

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

9th International Computer Science Symposium in Russia, CSR 2014, Moscow, Russia, June 7-11, 2014. Proceedings

Author: Edward Hirsch,Sergei O. Kuznetsov,Jean-Éric Pin,Nikolay Vereshchagin

Publisher: Springer

ISBN: 3319066862

Category: Computers

Page: 389

View: 8278

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

25th International Symposium, MFCS 2000 Bratislava, Slovakia, August 28 - September 1, 2000 Proceedings

Author: Mogens Nielsen

Publisher: Springer Science & Business Media

ISBN: 3540679014

Category: Computers

Page: 710

View: 4323

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: 9781441981042

Category: Technology & Engineering

Page: 189

View: 6468

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: 9780792396529

Category: Technology & Engineering

Page: 142

View: 865

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

Pasadena, California, July 19-21, 1999

Author: Adrian Stoica,Didier Keymeulen,Jason Lohn

Publisher: I E E E

ISBN: 9780769502564

Category: Computers

Page: 267

View: 864

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

The Bulletin of Symbolic Logic

Author: N.A

Publisher: N.A

ISBN: N.A

Category: Logic

Page: 26

View: 3777

Proceedings

The Twentieth National Conference on Artificial Intelligence and the Seventeenth Innovative Applications of Artificial Intelligence Conference

Author: N.A

Publisher: N.A

ISBN: 9781577352365

Category: Artificial intelligence

Page: 1759

View: 6968

Also available in 4 volume print edition.

American Book Publishing Record

Author: N.A

Publisher: N.A

ISBN: N.A

Category: American literature

Page: N.A

View: 2851

Proceedings of the ... National Conference on Artificial Intelligence

Author: N.A

Publisher: N.A

ISBN: 9781577352365

Category: Artificial intelligence

Page: 1759

View: 4982

Logic Synthesis and Verification Algorithms

Author: Gary D. Hachtel,Fabio Somenzi

Publisher: Springer Science & Business Media

ISBN: 9780387310046

Category: Computers

Page: 564

View: 6287

This book blends mathematical foundations and algorithmic developments with circuit design issues. Each new technique is presented in the context of its application to design. This publication serves as a textbook for upper-division and first year graduate students in electrical and computer engineering courses.

Cumulative Book Index

Author: N.A

Publisher: N.A

ISBN: N.A

Category: American literature

Page: N.A

View: 9462

International Books in Print

Author: N.A

Publisher: N.A

ISBN: N.A

Category: English imprints

Page: N.A

View: 2836

Algorithmische Geometrie

Polyedrische und algebraische Methoden

Author: Michael Joswig,Thorsten Theobald

Publisher: Springer-Verlag

ISBN: 3834894400

Category: Mathematics

Page: 266

View: 4098

In dem Lehrbuch wird eine mathematisch orientierte Einführung in die algorithmische Geometrie gegeben. Im ersten Teil werden „klassische“ Probleme und Techniken behandelt, die sich auf polyedrische (= linear begrenzte) Objekte beziehen. Hierzu gehören beispielsweise Algorithmen zur Berechnung konvexer Hüllen und die Konstruktion von Voronoi-Diagrammen. Im zweiten Teil werden grundlegende Methoden der algorithmischen algebraischen Geometrie entwickelt und anhand von Anwendungen aus Computergrafik, Kurvenrekonstruktion und Robotik illustriert. Das Buch eignet sich für ein fortgeschrittenes Modul in den derzeit neu konzipierten Bachelor-Studiengängen in Mathematik und Informatik.

Boolesche Algebra und ihre Anwendungen

Author: John Eldon Whitesitt

Publisher: Springer-Verlag

ISBN: 3322962539

Category: Mathematics

Page: 207

View: 2981

Design Thinking

Innovation lernen, Ideenwelten öffnen

Author: Hasso Plattner,Christoph Meinel,Ulrich Weinberg

Publisher: N.A

ISBN: 9783868800135

Category: Creative thinking

Page: 222

View: 9427

Sicherheit und Vertrauen im Internet

Eine technische Perspektive

Author: Christoph Meinel,Harald Sack

Publisher: Springer-Verlag

ISBN: 3658048344

Category: Computers

Page: 48

View: 419

Das globale Internet ist ein offenes Netz, das heißt nicht begrenzt und für jedermann zugänglich. Allerdings hat diese Offenheit ihren Preis: Es gibt keine zentrale Kontrolle, die z.B. Unbefugten Einblick in die Kommunikation und damit in die Privatsphäre anderer Internetnutzer verwehren würde. Um dennoch einen ausreichenden Schutz der Vertraulichkeit und Privatsphäre zu gewährleisten, müssen in eigener Verantwortung Techniken und Tools aus der Kryptografie eingesetzt werden, die Nachrichten verschlüsseln oder deren Unversehrtheit sicherstellen helfen. Die Autoren zeigen unterschiedliche Wege auf, wie der Schutz der Privatsphäre im Internet wiederhergestellt werden kann.

Digitale Kommunikation

Vernetzen, Multimedia, Sicherheit

Author: Christoph Meinel,Harald Sack

Publisher: Springer Science & Business Media

ISBN: 3540929223

Category: Language Arts & Disciplines

Page: 422

View: 5510

Internet und World Wide Web basieren auf dem Vermögen, Informationen und Medien jeder Art in digitalisierter Form über Nachrichtenkanäle zu transportieren und zu verbreiten. Die Autoren erläutern Grundlagen und geschichtliche Hintergründe der digitalen Kommunikation und geben einen Überblick über Methoden und Verfahren der Kodierung von Text-, Audio-, Grafik- und Videoinformation, die im Internet zur Anwendung kommen. Zahlreiche Abbildungen sowie Sachindex, Personenindex und Glossar zu jedem Kapitel erhöhen den praktischen Nutzen dieses Handbuchs.

Deutsche Nationalbibliographie und Bibliographie der im Ausland erschienenen deutschsprachigen Veröffentlichungen

Monographien und Periodika -- Fünfjahresverzeichnis. Reihe E

Author: N.A

Publisher: N.A

ISBN: N.A

Category: German imprints

Page: N.A

View: 4270

Find eBook