| 书目名称 | Datenstrukturen und effiziente Algorithmen für die Logiksynthese kombinatorischer Schaltungen |
| 编辑 | Paul Molitor,Christoph Scholl |
| 视频video | |
| 丛书名称 | XLeitfäden der Informatik |
| 图书封面 |  |
| 描述 | 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 Logiksy |
| 出版日期 | Textbook 1999 |
| 关键词 | Algebra; Algorithmen; Bollsche Funktionen; Boolsche Algebra; Datenstrukturen; Exakte Verfahren; Informatik |
| 版次 | 1 |
| doi | https://doi.org/10.1007/978-3-322-84828-4 |
| isbn_softcover | 978-3-519-02945-8 |
| isbn_ebook | 978-3-322-84828-4Series ISSN 1615-5432 |
| issn_series | 1615-5432 |
| copyright | Springer Fachmedien Wiesbaden 1999 |
发表于 2025-3-21 17:27:28
