Datenstrukturen und effiziente Algorithmen für die Logiksynthese kombinatorischer Schaltungen

AvPaul Molitor,Christoph Scholl

Häftad, Tyska, 1999

Del i serien XLeitfäden der Informatik

481 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

Produktinformation

Utgivningsdatum:1999-01-18
Mått:170 x 244 x 17 mm
Vikt:528 g
Format:Häftad
Språk:Tyska
Serie:XLeitfäden der Informatik
Antal sidor:300
Upplaga:1999
Förlag:Springer Fachmedien Wiesbaden
ISBN:9783519029458

Utforska kategorier

Systemvetenskap och AI inom Data och IT

Innehållsförteckning

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

Janett Mohnke, Paul Molitor

E-bok

2007

2 065 kr

Equivalence Checking of Digital Circuits

Paul Molitor, Janett Mohnke

Inbunden, 2004

1 649 kr

Equivalence Checking of Digital Circuits

Paul Molitor, Janett Mohnke

Häftad, 2010

1 649 kr

Datenstrukturen und effiziente Algorithmen für die Logiksynthese kombinatorischer Schaltungen

Christoph Scholl, Paul Molitor

E-bok

2013

465 kr

Einführung in den VLSI-Entwurf

Hans G. Osthof, Paul Molitor

E-bok

2013

542 kr

Technische Informatik

Bernd Becker, Paul Molitor

Inbunden, 2008

540 kr

Technische Informatik

Paul Molitor, Bernd Becker

E-bok

2009

525 kr

Kompaktkurs VHDL

Paul Molitor, Jörg Ritter

Inbunden, 2012

527 kr

Kompaktkurs VHDL

Jorg Ritter, Paul Molitor

E-bok

2013

440 kr

Einführung in den VLSI-Entwurf

Paul Molitor, Hans G. Osthof

Häftad, 1989

518 kr

Mer från samma serie

Elektrotechnik für Informatiker

Reinhold Paul

Häftad, 2004

570 kr

Algorithmische Grundlagen der Bioinformatik

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

Häftad, 2003

467 kr

Rolf Wanka - Approximationsalgorithmen, Häftad

Mustererkennung mit Markov-Modellen

Gernot A. Fink

Häftad, 2003

416 kr

Hartmut König - Protocol Engineering, Häftad

Moderne Kryptographie

Ralf Küsters, Thomas Wilke

Häftad, 2011

345 kr

Theorie der stochastischen Automaten

Springer Fachmedien Wiesbaden

Häftad, 1995

519 kr

Elektrotechnik und Elektronik für Informatiker

Reinhold Paul

Häftad, 1995

723 kr

Arndt Bode, Ulrich Brüning, Mario Dal Cin, Wolfgang Händler, Friedrich Hertweck, Ulrich Herzog, Fridolin Hofmann, Rainer Klar, Claus-Uwe Linster, Wolfgang Rosenstiel, Hans-Jürgen Schneider, Jörg Wedeck, Hans Zima, B. M. Chapman, Klaus Waldschmidt

Häftad, 1995

570 kr

Du kanske också är intresserad av

Pokémon Pokémon Mega Evolution 05 - Pitch Black Booster

Pokémon

79 kr

Datenstrukturen und effiziente Algorithmen für die Logiksynthese kombinatorischer Schaltungen

Christoph Scholl, Paul Molitor

E-bok

2013

465 kr

Functional Decomposition with Applications to FPGA Synthesis

Christoph Scholl

Inbunden, 2001

1 649 kr

Functional Decomposition with Applications to FPGA Synthesis

Christoph Scholl

Häftad, 2010

1 649 kr

Functional Decomposition with Applications to FPGA Synthesis

Christoph Scholl

E-bok

2013

2 044 kr

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

Jurgen Steimle, Paul Molitor, Jan Messerschmidt

E-bok

2022

920 kr

Equivalence Checking of Digital Circuits

Paul Molitor, Janett Mohnke

Häftad, 2010

1 649 kr

Einführung in den VLSI-Entwurf

Paul Molitor, Hans G. Osthof

Häftad, 1989

518 kr

Technische Informatik

Paul Molitor, Bernd Becker

E-bok

2009

525 kr

Einführung in den VLSI-Entwurf

Hans G. Osthof, Paul Molitor

E-bok

2013

542 kr

Datenstrukturen und effiziente Algorithmen für die Logiksynthese kombinatorischer Schaltungen

AvPaul Molitor,Christoph Scholl

Häftad, Tyska, 1999

Del i serien XLeitfäden der Informatik

481 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

Produktinformation

Utgivningsdatum:1999-01-18
Mått:170 x 244 x 17 mm
Vikt:528 g
Format:Häftad
Språk:Tyska
Serie:XLeitfäden der Informatik
Antal sidor:300
Upplaga:1999
Förlag:Springer Fachmedien Wiesbaden
ISBN:9783519029458

Utforska kategorier

Systemvetenskap och AI inom Data och IT

Innehållsförteckning

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.