| 書目名稱 | Datenstrukturen und effiziente Algorithmen für die Logiksynthese kombinatorischer Schaltungen |
| 編輯 | Paul Molitor,Christoph Scholl |
| 視頻video | http://file.papertrans.cn/264/263792/263792.mp4 |
| 叢書名稱 | 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 |
| 關(guān)鍵詞 | 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 |
|Archiver|手機版|小黑屋|
派博傳思國際
( 京公網(wǎng)安備110108008328)
GMT+8, 2025-10-6 06:39
發(fā)表于 2025-3-21 17:27:28
