Datenstrukturen und effiziente Algorithmen für die Logiksynthese kombinatorischer Schaltungen

ساختارهای داده و الگوریتم های کارآمد نقش برجسته ای در طراحی خودکار مدارهای دیجیتال بزرگ دارند. با توجه به معرفی فناوری های جدید و توسعه همزمان ساختارهای داده کارآمد، زمینه سنتز منطق مدارهای دیجیتال در سال های اخیر توسعه سریعی را تجربه کرده است. این کتاب ساختارهای داده و الگوریتم های کارآمدی که امروزه در زمینه سنتز منطقی مدارهای ترکیبی استفاده می شود را ارائه می دهد. در قسمت اول کتاب، مقدمه ای مفصل و بسیار تشریحی بر مبانی نظریه شبکه و تئوری جبرهای بولی مورد نیاز برای سنتز منطقی ارائه شده است و فناوری های مختلفی که امروزه به عنوان معماری هدف استفاده می شود، ارائه شده است. بخش دوم کتاب به سنتز منطقی دو مرحله‌ای سنتی اختصاص دارد و روش‌های مختلف دقیق و اکتشافی برای محاسبه چندجمله‌ای حداقلی را ارائه می‌کند. پس از ارائه دقیق نمودارهای تصمیم باینری (نمودار تصمیم گیری باینری مرتب شده کاهش یافته)، کتاب سپس به سنتز منطقی چند سطحی، به ویژه با حوزه موضوعی تجزیه تابعی توابع بولی و با روش های جبری، همانطور که در بسته SIS در UC Berkeley توسعه یافته است. این کتاب به عنوان کتاب درسی برای دروس رشته علوم کامپیوتر فنی برای دانشجویان علوم کامپیوتر و مهندسی برق طراحی شده است. تاکید زیادی بر تجسم مفاهیم شد. با استفاده از این کتاب، تلاش شد تا یک ارائه نظری صحیح از موضوع با تصاویر واضح ترکیب شود. تصاویر متعددی در نظر گرفته شده است تا خواننده را به درک عمیق‌تری از حقایق راهنمایی کند. اسلایدهای سخنرانی (تقریباً 650 قطعه) را می توان از طریق ایمیل به molitor@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 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