Datenstrukturen und effiziente Algorithmen für die Logiksynthese kombinatorischer Schaltungen:
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Elektronisch E-Book |
| Sprache: | German |
| Veröffentlicht: |
Wiesbaden
Vieweg+Teubner Verlag
1999
|
| Schriftenreihe: | Leitfäden der Informatik
|
| Schlagworte: | |
| Online-Zugang: | Volltext |
| Beschreibung: | Datenstrukturen und effiziente Algorithmen spielen eine herausragende Rolle bei dem automatisierten Entwurf großer digitaler Schaltungen. Durch die Einführung neuer Technologien und der gleichzeitigen Entwicklung effizienter Datenstrukturen hat das Gebiet der Logiksynthese von digitalen Schaltungen in den letzten Jahren eine stürmische Entwicklung genommen. Das vorliegende Buch stellt die heute verwendeten Datenstrukturen und effizienten Algorithmen aus dem Bereich der logischen Synthese kombinatorischer Schaltungen vor. Im ersten Teil des Buches wird eine ausführliche, sehr anschaulich gehaltene Einführung in die zur logischen Synthese benötigten Grundlagen der Verbandstheorie und der Theorie der Booleschen Algebren gegeben und die verschiedenen Technologien, die heute als Zielarchitektur benutzt werden, werden vorgestellt. Der zweite Teil des Buches widmet sich der traditionellen zweistufigen logischen Synthese und stellt die verschiedenen exakten und heuristischen Methoden zur Berechnung von Minimalpolynomen vor. Nach einer ausführlichen Vorstellung binärer Entscheidungsgraphen (reduced ordered binary decision diagrams) beschäftigt sich das Buch dann mit der mehrstufigen Logiksynthese, insbesondere mit dem Themengebiet der funktionalen Dekomposition Boolescher Funktionen und mitalgebraischen Methoden, wie sie im an der UC Berkeley entwickelten SIS Paket benutzt werden. Das Buch ist als Lehrbuch für Lehrveranstaltungen im Bereich der Technischen Informatik für Studierende der Informatik und der Elektrotechnik konzipiert. Es wurde sehr viel Wert auf die Anschauung der Konzepte gelegt. Mit diesem Buch wurde der Versuch unternommen, eine theoretisch fundierte Darstellung der Thematik mit anschaulichen Illustrationen zu verbinden. Anhand zahlreicher Abbildungen soll der Leser zu einem tiefergehenden Verständnis der Sachverhalte hingeführt werden. Vorlesungsfolien (ca. 650 Stück) können von Dozenten über electronic mail bei molitor@informatik |
| Beschreibung: | 1 Online-Ressource (300 S.) |
| ISBN: | 9783322848284 9783519029458 |
| ISSN: | 1615-5432 |
| DOI: | 10.1007/978-3-322-84828-4 |
Internformat
MARC
| LEADER | 00000nmm a2200000zc 4500 | ||
|---|---|---|---|
| 001 | BV042429318 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 150320s1999 |||| o||u| ||||||ger d | ||
| 020 | |a 9783322848284 |c Online |9 978-3-322-84828-4 | ||
| 020 | |a 9783519029458 |c Print |9 978-3-519-02945-8 | ||
| 024 | 7 | |a 10.1007/978-3-322-84828-4 |2 doi | |
| 035 | |a (OCoLC)863891397 | ||
| 035 | |a (DE-599)BVBBV042429318 | ||
| 040 | |a DE-604 |b ger |e aacr | ||
| 041 | 0 | |a ger | |
| 049 | |a DE-91 |a DE-634 |a DE-92 |a DE-573 |a DE-706 |a DE-860 |a DE-1046 |a DE-Aug4 | ||
| 082 | 0 | |a 004 |2 23 | |
| 084 | |a TEC 000 |2 stub | ||
| 084 | |a DAT 000 |2 stub | ||
| 100 | 1 | |a Molitor, Paul |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Datenstrukturen und effiziente Algorithmen für die Logiksynthese kombinatorischer Schaltungen |c von Paul Molitor, Christoph Scholl |
| 264 | 1 | |a Wiesbaden |b Vieweg+Teubner Verlag |c 1999 | |
| 300 | |a 1 Online-Ressource (300 S.) | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 490 | 0 | |a Leitfäden der Informatik |x 1615-5432 | |
| 500 | |a Datenstrukturen und effiziente Algorithmen spielen eine herausragende Rolle bei dem automatisierten Entwurf großer digitaler Schaltungen. Durch die Einführung neuer Technologien und der gleichzeitigen Entwicklung effizienter Datenstrukturen hat das Gebiet der Logiksynthese von digitalen Schaltungen in den letzten Jahren eine stürmische Entwicklung genommen. Das vorliegende Buch stellt die heute verwendeten Datenstrukturen und effizienten Algorithmen aus dem Bereich der logischen Synthese kombinatorischer Schaltungen vor. Im ersten Teil des Buches wird eine ausführliche, sehr anschaulich gehaltene Einführung in die zur logischen Synthese benötigten Grundlagen der Verbandstheorie und der Theorie der Booleschen Algebren gegeben und die verschiedenen Technologien, die heute als Zielarchitektur benutzt werden, werden vorgestellt. Der zweite Teil des Buches widmet sich der traditionellen zweistufigen logischen Synthese und stellt die verschiedenen exakten und heuristischen Methoden zur Berechnung von Minimalpolynomen vor. Nach einer ausführlichen Vorstellung binärer Entscheidungsgraphen (reduced ordered binary decision diagrams) beschäftigt sich das Buch dann mit der mehrstufigen Logiksynthese, insbesondere mit dem Themengebiet der funktionalen Dekomposition Boolescher Funktionen und mitalgebraischen Methoden, wie sie im an der UC Berkeley entwickelten SIS Paket benutzt werden. Das Buch ist als Lehrbuch für Lehrveranstaltungen im Bereich der Technischen Informatik für Studierende der Informatik und der Elektrotechnik konzipiert. Es wurde sehr viel Wert auf die Anschauung der Konzepte gelegt. Mit diesem Buch wurde der Versuch unternommen, eine theoretisch fundierte Darstellung der Thematik mit anschaulichen Illustrationen zu verbinden. Anhand zahlreicher Abbildungen soll der Leser zu einem tiefergehenden Verständnis der Sachverhalte hingeführt werden. Vorlesungsfolien (ca. 650 Stück) können von Dozenten über electronic mail bei molitor@informatik | ||
| 650 | 4 | |a Computer science | |
| 650 | 4 | |a Computer Science | |
| 650 | 4 | |a Computer Science, general | |
| 650 | 4 | |a Informatik | |
| 650 | 0 | 7 | |a Logiksynthese |0 (DE-588)4348178-4 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Schaltnetz |0 (DE-588)4052053-5 |2 gnd |9 rswk-swf |
| 655 | 7 | |8 1\p |0 (DE-588)4123623-3 |a Lehrbuch |2 gnd-content | |
| 689 | 0 | 0 | |a Schaltnetz |0 (DE-588)4052053-5 |D s |
| 689 | 0 | 1 | |a Logiksynthese |0 (DE-588)4348178-4 |D s |
| 689 | 0 | |8 2\p |5 DE-604 | |
| 700 | 1 | |a Scholl, Christoph |e Sonstige |4 oth | |
| 856 | 4 | 0 | |u https://doi.org/10.1007/978-3-322-84828-4 |x Verlag |3 Volltext |
| 912 | |a ZDB-2-STI |a ZDB-2-BAD | ||
| 940 | 1 | |q ZDB-2-STI_Archive | |
| 940 | 1 | |q ZDB-2-STI_1990/1999 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-027864649 | ||
| 883 | 1 | |8 1\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
| 883 | 1 | |8 2\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
Datensatz im Suchindex
| _version_ | 1804153109999517696 |
|---|---|
| any_adam_object | |
| author | Molitor, Paul |
| author_facet | Molitor, Paul |
| author_role | aut |
| author_sort | Molitor, Paul |
| author_variant | p m pm |
| building | Verbundindex |
| bvnumber | BV042429318 |
| classification_tum | TEC 000 DAT 000 |
| collection | ZDB-2-STI ZDB-2-BAD |
| ctrlnum | (OCoLC)863891397 (DE-599)BVBBV042429318 |
| dewey-full | 004 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 004 - Computer science |
| dewey-raw | 004 |
| dewey-search | 004 |
| dewey-sort | 14 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Technik Technik Informatik |
| doi_str_mv | 10.1007/978-3-322-84828-4 |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>03977nmm a2200541zc 4500</leader><controlfield tag="001">BV042429318</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">150320s1999 |||| o||u| ||||||ger d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783322848284</subfield><subfield code="c">Online</subfield><subfield code="9">978-3-322-84828-4</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783519029458</subfield><subfield code="c">Print</subfield><subfield code="9">978-3-519-02945-8</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-3-322-84828-4</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)863891397</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV042429318</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">aacr</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">ger</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-91</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-92</subfield><subfield code="a">DE-573</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-860</subfield><subfield code="a">DE-1046</subfield><subfield code="a">DE-Aug4</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">004</subfield><subfield code="2">23</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">TEC 000</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 000</subfield><subfield code="2">stub</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Molitor, Paul</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Datenstrukturen und effiziente Algorithmen für die Logiksynthese kombinatorischer Schaltungen</subfield><subfield code="c">von Paul Molitor, Christoph Scholl</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Wiesbaden</subfield><subfield code="b">Vieweg+Teubner Verlag</subfield><subfield code="c">1999</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (300 S.)</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="0" ind2=" "><subfield code="a">Leitfäden der Informatik</subfield><subfield code="x">1615-5432</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Datenstrukturen und effiziente Algorithmen spielen eine herausragende Rolle bei dem automatisierten Entwurf großer digitaler Schaltungen. Durch die Einführung neuer Technologien und der gleichzeitigen Entwicklung effizienter Datenstrukturen hat das Gebiet der Logiksynthese von digitalen Schaltungen in den letzten Jahren eine stürmische Entwicklung genommen. Das vorliegende Buch stellt die heute verwendeten Datenstrukturen und effizienten Algorithmen aus dem Bereich der logischen Synthese kombinatorischer Schaltungen vor. Im ersten Teil des Buches wird eine ausführliche, sehr anschaulich gehaltene Einführung in die zur logischen Synthese benötigten Grundlagen der Verbandstheorie und der Theorie der Booleschen Algebren gegeben und die verschiedenen Technologien, die heute als Zielarchitektur benutzt werden, werden vorgestellt. Der zweite Teil des Buches widmet sich der traditionellen zweistufigen logischen Synthese und stellt die verschiedenen exakten und heuristischen Methoden zur Berechnung von Minimalpolynomen vor. Nach einer ausführlichen Vorstellung binärer Entscheidungsgraphen (reduced ordered binary decision diagrams) beschäftigt sich das Buch dann mit der mehrstufigen Logiksynthese, insbesondere mit dem Themengebiet der funktionalen Dekomposition Boolescher Funktionen und mitalgebraischen Methoden, wie sie im an der UC Berkeley entwickelten SIS Paket benutzt werden. Das Buch ist als Lehrbuch für Lehrveranstaltungen im Bereich der Technischen Informatik für Studierende der Informatik und der Elektrotechnik konzipiert. Es wurde sehr viel Wert auf die Anschauung der Konzepte gelegt. Mit diesem Buch wurde der Versuch unternommen, eine theoretisch fundierte Darstellung der Thematik mit anschaulichen Illustrationen zu verbinden. Anhand zahlreicher Abbildungen soll der Leser zu einem tiefergehenden Verständnis der Sachverhalte hingeführt werden. Vorlesungsfolien (ca. 650 Stück) können von Dozenten über electronic mail bei molitor@informatik</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer science</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer Science</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer Science, general</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Informatik</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Logiksynthese</subfield><subfield code="0">(DE-588)4348178-4</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Schaltnetz</subfield><subfield code="0">(DE-588)4052053-5</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="8">1\p</subfield><subfield code="0">(DE-588)4123623-3</subfield><subfield code="a">Lehrbuch</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Schaltnetz</subfield><subfield code="0">(DE-588)4052053-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Logiksynthese</subfield><subfield code="0">(DE-588)4348178-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="8">2\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Scholl, Christoph</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-3-322-84828-4</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-2-STI</subfield><subfield code="a">ZDB-2-BAD</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">ZDB-2-STI_Archive</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">ZDB-2-STI_1990/1999</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-027864649</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">1\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">2\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield></record></collection> |
| genre | 1\p (DE-588)4123623-3 Lehrbuch gnd-content |
| genre_facet | Lehrbuch |
| id | DE-604.BV042429318 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-10T01:21:23Z |
| institution | BVB |
| isbn | 9783322848284 9783519029458 |
| issn | 1615-5432 |
| language | German |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-027864649 |
| oclc_num | 863891397 |
| open_access_boolean | |
| owner | DE-91 DE-BY-TUM DE-634 DE-92 DE-573 DE-706 DE-860 DE-1046 DE-Aug4 |
| owner_facet | DE-91 DE-BY-TUM DE-634 DE-92 DE-573 DE-706 DE-860 DE-1046 DE-Aug4 |
| physical | 1 Online-Ressource (300 S.) |
| psigel | ZDB-2-STI ZDB-2-BAD ZDB-2-STI_Archive ZDB-2-STI_1990/1999 |
| publishDate | 1999 |
| publishDateSearch | 1999 |
| publishDateSort | 1999 |
| publisher | Vieweg+Teubner Verlag |
| record_format | marc |
| series2 | Leitfäden der Informatik |
| spelling | Molitor, Paul Verfasser aut Datenstrukturen und effiziente Algorithmen für die Logiksynthese kombinatorischer Schaltungen von Paul Molitor, Christoph Scholl Wiesbaden Vieweg+Teubner Verlag 1999 1 Online-Ressource (300 S.) txt rdacontent c rdamedia cr rdacarrier Leitfäden der Informatik 1615-5432 Datenstrukturen und effiziente Algorithmen spielen eine herausragende Rolle bei dem automatisierten Entwurf großer digitaler Schaltungen. Durch die Einführung neuer Technologien und der gleichzeitigen Entwicklung effizienter Datenstrukturen hat das Gebiet der Logiksynthese von digitalen Schaltungen in den letzten Jahren eine stürmische Entwicklung genommen. Das vorliegende Buch stellt die heute verwendeten Datenstrukturen und effizienten Algorithmen aus dem Bereich der logischen Synthese kombinatorischer Schaltungen vor. Im ersten Teil des Buches wird eine ausführliche, sehr anschaulich gehaltene Einführung in die zur logischen Synthese benötigten Grundlagen der Verbandstheorie und der Theorie der Booleschen Algebren gegeben und die verschiedenen Technologien, die heute als Zielarchitektur benutzt werden, werden vorgestellt. Der zweite Teil des Buches widmet sich der traditionellen zweistufigen logischen Synthese und stellt die verschiedenen exakten und heuristischen Methoden zur Berechnung von Minimalpolynomen vor. Nach einer ausführlichen Vorstellung binärer Entscheidungsgraphen (reduced ordered binary decision diagrams) beschäftigt sich das Buch dann mit der mehrstufigen Logiksynthese, insbesondere mit dem Themengebiet der funktionalen Dekomposition Boolescher Funktionen und mitalgebraischen Methoden, wie sie im an der UC Berkeley entwickelten SIS Paket benutzt werden. Das Buch ist als Lehrbuch für Lehrveranstaltungen im Bereich der Technischen Informatik für Studierende der Informatik und der Elektrotechnik konzipiert. Es wurde sehr viel Wert auf die Anschauung der Konzepte gelegt. Mit diesem Buch wurde der Versuch unternommen, eine theoretisch fundierte Darstellung der Thematik mit anschaulichen Illustrationen zu verbinden. Anhand zahlreicher Abbildungen soll der Leser zu einem tiefergehenden Verständnis der Sachverhalte hingeführt werden. Vorlesungsfolien (ca. 650 Stück) können von Dozenten über electronic mail bei molitor@informatik Computer science Computer Science Computer Science, general Informatik Logiksynthese (DE-588)4348178-4 gnd rswk-swf Schaltnetz (DE-588)4052053-5 gnd rswk-swf 1\p (DE-588)4123623-3 Lehrbuch gnd-content Schaltnetz (DE-588)4052053-5 s Logiksynthese (DE-588)4348178-4 s 2\p DE-604 Scholl, Christoph Sonstige oth https://doi.org/10.1007/978-3-322-84828-4 Verlag Volltext 1\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk 2\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk |
| spellingShingle | Molitor, Paul Datenstrukturen und effiziente Algorithmen für die Logiksynthese kombinatorischer Schaltungen Computer science Computer Science Computer Science, general Informatik Logiksynthese (DE-588)4348178-4 gnd Schaltnetz (DE-588)4052053-5 gnd |
| subject_GND | (DE-588)4348178-4 (DE-588)4052053-5 (DE-588)4123623-3 |
| title | Datenstrukturen und effiziente Algorithmen für die Logiksynthese kombinatorischer Schaltungen |
| title_auth | Datenstrukturen und effiziente Algorithmen für die Logiksynthese kombinatorischer Schaltungen |
| title_exact_search | Datenstrukturen und effiziente Algorithmen für die Logiksynthese kombinatorischer Schaltungen |
| title_full | Datenstrukturen und effiziente Algorithmen für die Logiksynthese kombinatorischer Schaltungen von Paul Molitor, Christoph Scholl |
| title_fullStr | Datenstrukturen und effiziente Algorithmen für die Logiksynthese kombinatorischer Schaltungen von Paul Molitor, Christoph Scholl |
| title_full_unstemmed | Datenstrukturen und effiziente Algorithmen für die Logiksynthese kombinatorischer Schaltungen von Paul Molitor, Christoph Scholl |
| title_short | Datenstrukturen und effiziente Algorithmen für die Logiksynthese kombinatorischer Schaltungen |
| title_sort | datenstrukturen und effiziente algorithmen fur die logiksynthese kombinatorischer schaltungen |
| topic | Computer science Computer Science Computer Science, general Informatik Logiksynthese (DE-588)4348178-4 gnd Schaltnetz (DE-588)4052053-5 gnd |
| topic_facet | Computer science Computer Science Computer Science, general Informatik Logiksynthese Schaltnetz Lehrbuch |
| url | https://doi.org/10.1007/978-3-322-84828-4 |
| work_keys_str_mv | AT molitorpaul datenstrukturenundeffizientealgorithmenfurdielogiksynthesekombinatorischerschaltungen AT schollchristoph datenstrukturenundeffizientealgorithmenfurdielogiksynthesekombinatorischerschaltungen |