Switching Theory for Logic Synthesis

تئوری سوئیچینگ برای سنتز منطق موضوعات اساسی نظریه سوئیچینگ و سنتز منطق را در چهارده فصل پوشش می دهد. فصل 1 تا 5 پایه ریاضی را ارائه می دهد. فصل های 6 تا 8 شامل مقدمه ای بر مدارهای ترتیبی، بهینه سازی ماشین های ترتیبی و مدارهای ترتیبی ناهمزمان می باشد. فصل 9 تا 14 ویژگی اصلی کتاب است. این فصل‌ها موضوعات مختلفی را که موضوع سنتز منطق را تشکیل می‌دهند، معرفی و توضیح می‌دهند: تابع خروجی دو مقداری ورودی چند ارزشی، طراحی منطقی برای PLD/FPGA، طراحی مبتنی بر EXOR، و نظریه‌های پیچیدگی شبکه‌های منطقی.
ضمیمه ای که تاریخچه ای از تئوری سوئیچینگ را ارائه می دهد گنجانده شده است. فهرست مرجع شامل بیش از چهارصد مدخل است.
تئوری سوئیچینگ برای سنتز منطق بر اساس سخنرانی های نویسنده در موسسه فناوری کیوشو و همچنین سمینارهایی برای مهندسان CAD از شرکت های مختلف فناوری ژاپنی است.
تئوری سوئیچینگ برای سنتز منطق مورد علاقه متخصصان و دانشجویان CAD در سطح پیشرفته خواهد بود. همچنین به عنوان یک کتاب درسی مفید است، زیرا هر فصل شامل مثال‌ها، تصاویر و تمرین‌ها است.

Switching Theory for Logic Synthesis covers the basic topics of switching theory and logic synthesis in fourteen chapters. Chapters 1 through 5 provide the mathematical foundation. Chapters 6 through 8 include an introduction to sequential circuits, optimization of sequential machines and asynchronous sequential circuits. Chapters 9 through 14 are the main feature of the book. These chapters introduce and explain various topics that make up the subject of logic synthesis: multi-valued input two-valued output function, logic design for PLDs/FPGAs, EXOR-based design, and complexity theories of logic networks.
An appendix providing a history of switching theory is included. The reference list consists of over four hundred entries.
Switching Theory for Logic Synthesis is based on the author's lectures at Kyushu Institute of Technology as well as seminars for CAD engineers from various Japanese technology companies.
Switching Theory for Logic Synthesis will be of interest to CAD professionals and students at the advanced level. It is also useful as a textbook, as each chapter contains examples, illustrations, and exercises.