Switching Theory for Logic Synthesis, Fachbücher von Tsutomu Sasao

Die Schaltungstheorie für die logische Synthese behandelt die grundlegenden Themen der Schaltungstheorie und der logischen Synthese in vierzehn Kapiteln. Die Kapitel 1 bis 5 bieten die mathematische Grundlage. Die Kapitel 6 bis 8 enthalten eine Einführung in sequentielle Schaltungen, die Optimierung sequentieller Maschinen und asynchrone sequentielle Schaltungen. Die Kapitel 9 bis 14 sind das Hauptmerkmal des Buches. Diese Kapitel führen in verschiedene Themen ein und erklären diese, die das Thema der logischen Synthese ausmachen: mehrwertige Eingaben mit zweiwertigen Ausgaben, logisches Design für PLDs/FPGAs, EXOR-basiertes Design und Komplexitätstheorien von logischen Netzwerken. Ein Anhang, der eine Geschichte der Schaltungstheorie bietet, ist ebenfalls enthalten. Die Literaturliste umfasst über vierhundert Einträge. Die Schaltungstheorie für die logische Synthese basiert auf den Vorlesungen des Autors am Kyushu Institute of Technology sowie auf Seminaren für CAD-Ingenieure verschiedener japanischer Technologieunternehmen. Die Schaltungstheorie für die logische Synthese wird CAD-Profis und fortgeschrittenen Studierenden von Interesse sein. Sie ist auch als Lehrbuch nützlich, da jedes Kapitel Beispiele, Illustrationen und Übungen enthält.