Logic Synthesis for Asynchronous Controllers and Interfaces

این کتاب به سنتز منطق و تکنیک های طراحی برای مدارهای ناهمزمان اختصاص دارد. از تئوری ریاضی شبکه‌های پتری و خودکارهای ناهمزمان برای توسعه الگوریتم‌های عملی پیاده‌سازی شده در ابزار CAD عمومی استفاده می‌کند. مدارهای ناهمزمان تا کنون عمدتاً با دست طراحی شده اند و بنابراین بسیار کمتر از همتایان سنکرون خود که از اواسط دهه 1970 از سطح بالایی از اتوماسیون طراحی برخوردار بوده اند، رایج هستند. از سوی دیگر، مدارهای ناهمزمان می توانند برای مقابله با توزیع ساعت، مدولار بودن، اتلاف توان و تداخل الکترومغناطیسی در مدارهای مجتمع دیجیتال بسیار مفید باشند. این کتاب پایه و اساس مورد نیاز برای طراحی چنین مدارهایی با کمک CAD را فراهم می کند و همچنین می تواند به عنوان پایه ای برای دوره تحصیلات تکمیلی طراحی منطق استفاده شود.

This book is devoted to logic synthesis and design techniques for asynchronous circuits. It uses the mathematical theory of Petri Nets and asynchronous automata to develop practical algorithms implemented in a public domain CAD tool. Asynchronous circuits have so far been designed mostly by hand, and are thus much less common than their synchronous counterparts, which have enjoyed a high level of design automation since the mid-1970s. Asynchronous circuits, on the other hand, can be very useful to tackle clock distribution, modularity, power dissipation and electro-magnetic interference in digital integrated circuits. This book provides the foundation needed for CAD-assisted design of such circuits, and can also be used as the basis for a graduate course on logic design.