Del i serien XLeitfäden der Informatik

Datenstrukturen und effiziente Algorithmen für die Logiksynthese kombinatorischer Schaltungen

Häftad, Tyska, 1999

AvPaul Molitor,Christoph Scholl

629 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.

Produktinformation

Utgivningsdatum1999-01-18
Mått170 x 244 x 17 mm
Vikt528 g
FormatHäftad
SpråkTyska
SerieXLeitfäden der Informatik
Antal sidor300
Upplaga1999
FörlagSpringer Fachmedien Wiesbaden
ISBN9783519029458

Tillhör följande kategorier

Systemvetenskap och AI inom Data och IT

1 Verband, Boolesche Algebra, Boolesche Funktionen.- 1.1 Partielle Ordnung, Hasse-Diagramm, Verband.- 1.2 Boolesche Algebren.- 1.3 Die Algebra der Booleschen Funktionen mit n Variablen.- 1.4 Unvollständig spezifizierte Boolesche Funktionen.- 2 Technologien, Modelle und Kostenmaße.- 2.1 Nurlesespeicher und Funktionstafeln v.- 2.2 PLAs und Boolesche Polynome.- 2.3 Mehrstufige Realisierungen und ihre Darstellungen.- 3 Exakte Verfahren zur 2-stufigen Logikminimierung.- 3.1 Wie sehen Minimalpolynome aus?.- 3.2 Charakterisierung der Primimplikanten.- 3.3 Berechnung eines Minimalpolynoms.- 3.4 Minimalpolynome spezieller Funktionen.- 4 Heuristische Verfahren zur 2-stufigen Logikminimierung.- 4.1 Grundlegende Algorithmen auf Polynomen.- 4.2 Strategie in Espresso.- 5 Minimierung binärer Entscheidungsgraphen.- 5.1 Vertauschung benachbarter Variablen.- 5.2 Exaktes Minimierungsverfahren.- 5.3 Heuristische Verfahren.- 5.4 Die Rolle von Symmetrien bei der BDD-Minimierung.- 5.5 Berechnung von Symmetriemengen.- 6 Mehrstufige Logiksynthese mit funktionaler Zerlegung.- 6.1 Einführung in funktionale Zerlegungen.- 6.2 Zerlegungs- und Zusammensetzungsfunktionen.- 6.3 Algorithmus zur Zerlegung einer Funktion mit einem Ausgang.- 6.4 Zerlegung einer Funktion mit mehreren Ausgängen.- 6.5 Zerlegung von unvollständig spezifizierten Booleschen Funktionen.- 7 Weitere Werkzeuge der mehrstufigen Logiksynthese.- 7.1 Optimierung logischer Netzwerke im Überblick.- 7.2 Realisierung der Optimierungsschritte.- 8 Technologie-Anpassung bei mehrstufiger Logiksynthese.- 8.1 Die Grundidee.- 8.2 Permutationsunabhängiger Boolescher Vergleich.- 8.3 Technologie-Anpassung bei look-up table FPGAs.

Mer från samma författare

Equivalence Checking of Digital Circuits

Paul Molitor, Janett Mohnke

Inbunden, 2004

2 149 kr

Equivalence Checking of Digital Circuits

Paul Molitor, Janett Mohnke

Häftad, 2010

2 149 kr

Technische Informatik

Bernd Becker, Paul Molitor

Inbunden, 2008

699 kr

Kompaktkurs VHDL

Paul Molitor, Jörg Ritter

Inbunden, 2012

679 kr

Einführung in den VLSI-Entwurf

Paul Molitor, Hans G. Osthof

Häftad, 1989

679 kr

Festschrift zum 90. Geburtstag von Prof. Dr. Dr. h.c. mult. Günter Hotz

Jan Messerschmidt, Paul Molitor, Jürgen Steimle

Häftad, 2022

1 179 kr

Mer från samma serie

Kompendium Theoretische Informatik — eine Ideensammlung

Ingo Wegener

Häftad, 1996

529 kr

Elektrotechnik für Informatiker

Reinhold Paul

Häftad, 2004

739 kr

Algorithmische Grundlagen der Bioinformatik

Hans-Joachim Böckenhauer, Dirk Bongartz, Hans-Joachim Böckenhauer, Dirk Bongartz

Häftad, 2003

609 kr

Approximationsalgorithmen

Rolf Wanka

Häftad, 2006

529 kr

Mustererkennung mit Markov-Modellen

Gernot A. Fink

Häftad, 2003

539 kr

Protocol Engineering

Hartmut König

Häftad, 2003

609 kr

Randomisierte Algorithmen

Juraj Hromkovic

Häftad, 2004

699 kr

Moderne Kryptographie

Ralf Küsters, Thomas Wilke

Häftad, 2011

449 kr

Theorie der stochastischen Automaten

Springer Fachmedien Wiesbaden

Häftad, 1995

679 kr

Elektrotechnik und Elektronik für Informatiker

Reinhold Paul

Häftad, 1995

939 kr

Du kanske också är intresserad av

Functional Decomposition with Applications to FPGA Synthesis

Christoph Scholl

Inbunden, 2001

2 149 kr

Functional Decomposition with Applications to FPGA Synthesis

Christoph Scholl

Häftad, 2010

2 149 kr

Equivalence Checking of Digital Circuits

Paul Molitor, Janett Mohnke

Häftad, 2010

2 149 kr

Einführung in den VLSI-Entwurf

Paul Molitor, Hans G. Osthof

Häftad, 1989

679 kr

Kompaktkurs VHDL

Paul Molitor, Jörg Ritter

Inbunden, 2012

679 kr

Festschrift zum 90. Geburtstag von Prof. Dr. Dr. h.c. mult. Günter Hotz

Jan Messerschmidt, Paul Molitor, Jürgen Steimle

Häftad, 2022

1 179 kr

Equivalence Checking of Digital Circuits

Paul Molitor, Janett Mohnke

Inbunden, 2004

2 149 kr

Technische Informatik

Bernd Becker, Paul Molitor

Inbunden, 2008

699 kr

Ruth Kvarnström-Jones - Systrarna på Sophiahemmet, Inbunden

Nyhet

Del 3

Systrarna på Sophiahemmet

Ruth Kvarnström-Jones

Inbunden, 2026

299 kr329 kr

Fuzzy-Systeme

Frank Klawonn, Jörg Gebhardt

Häftad, 1995

1 079 kr

Del i serien XLeitfäden der Informatik

Datenstrukturen und effiziente Algorithmen für die Logiksynthese kombinatorischer Schaltungen

Häftad, Tyska, 1999

AvPaul Molitor,Christoph Scholl

629 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.

Produktinformation

Utgivningsdatum1999-01-18
Mått170 x 244 x 17 mm
Vikt528 g
FormatHäftad
SpråkTyska
SerieXLeitfäden der Informatik
Antal sidor300
Upplaga1999
FörlagSpringer Fachmedien Wiesbaden
ISBN9783519029458

Tillhör följande kategorier

Systemvetenskap och AI inom Data och IT

1 Verband, Boolesche Algebra, Boolesche Funktionen.- 1.1 Partielle Ordnung, Hasse-Diagramm, Verband.- 1.2 Boolesche Algebren.- 1.3 Die Algebra der Booleschen Funktionen mit n Variablen.- 1.4 Unvollständig spezifizierte Boolesche Funktionen.- 2 Technologien, Modelle und Kostenmaße.- 2.1 Nurlesespeicher und Funktionstafeln v.- 2.2 PLAs und Boolesche Polynome.- 2.3 Mehrstufige Realisierungen und ihre Darstellungen.- 3 Exakte Verfahren zur 2-stufigen Logikminimierung.- 3.1 Wie sehen Minimalpolynome aus?.- 3.2 Charakterisierung der Primimplikanten.- 3.3 Berechnung eines Minimalpolynoms.- 3.4 Minimalpolynome spezieller Funktionen.- 4 Heuristische Verfahren zur 2-stufigen Logikminimierung.- 4.1 Grundlegende Algorithmen auf Polynomen.- 4.2 Strategie in Espresso.- 5 Minimierung binärer Entscheidungsgraphen.- 5.1 Vertauschung benachbarter Variablen.- 5.2 Exaktes Minimierungsverfahren.- 5.3 Heuristische Verfahren.- 5.4 Die Rolle von Symmetrien bei der BDD-Minimierung.- 5.5 Berechnung von Symmetriemengen.- 6 Mehrstufige Logiksynthese mit funktionaler Zerlegung.- 6.1 Einführung in funktionale Zerlegungen.- 6.2 Zerlegungs- und Zusammensetzungsfunktionen.- 6.3 Algorithmus zur Zerlegung einer Funktion mit einem Ausgang.- 6.4 Zerlegung einer Funktion mit mehreren Ausgängen.- 6.5 Zerlegung von unvollständig spezifizierten Booleschen Funktionen.- 7 Weitere Werkzeuge der mehrstufigen Logiksynthese.- 7.1 Optimierung logischer Netzwerke im Überblick.- 7.2 Realisierung der Optimierungsschritte.- 8 Technologie-Anpassung bei mehrstufiger Logiksynthese.- 8.1 Die Grundidee.- 8.2 Permutationsunabhängiger Boolescher Vergleich.- 8.3 Technologie-Anpassung bei look-up table FPGAs.