Logic Minimization Algorithms for VLSI Synthesis

ریشه‌های پروژه‌ای که با نوشتن این کتاب به اوج خود می‌رسد را می‌توان در کار بر روی سنتز منطق جستجو کرد که در سال 1979 در مرکز تحقیقات IBM Watson و در دانشگاه کالیفرنیا، برکلی آغاز شد. در طول مراحل مقدماتی این پروژه ها، اهمیت کمینه سازی منطقی برای سنتز مساحت و مدارهای موثر عملکرد به وضوح آشکار شد. در سال 1980، ریچارد نیوتن با اشاره به الگوریتم‌های اکتشافی جدید برای به حداقل رساندن منطق دو سطحی و پتانسیل برای بهبود رویکردهای موجود، علاقه ما را برانگیخت. در تابستان 1981، نویسندگان سمیناری در مورد دستکاری منطق در IBM Research ترتیب دادند و در آن شرکت کردند. یکی از اهداف سمینار مطالعه ادبیات کمینه سازی منطقی و بررسی الگوریتم های اکتشافی از منظر بنیادی و تطبیقی ​​بود. نتایج این تحقیق به طرز شگفت آوری فراوان بود: از اجرای اولیه کمینه سازی منطق بازگشتی (ESPRESSO-I) آشکار شد که اگر نتایج جدید خود را در یک برنامه کمینه سازی دو سطحی ادغام کنیم، گام مهمی به جلو در سنتز منطق خودکار خواهد بود. می تواند منجر شود. ESPRESSO-II متولد شد و یک پیاده‌سازی APL در تابستان 1982 ایجاد شد. نتایج آزمایش‌های اولیه روی مجموعه نسبتاً بزرگی از نمونه‌های صنعتی به اندازه کافی خوب بود که انتشار الگوریتم‌های ما را توجیه کند. امید است که قدرت و سرعت مینیمیر ما تضمین کننده نام ایتالیایی آن باشد، که هم نشان دهنده تحویل سریع و هم یک قهوه سیاه دم شده مخصوص است.

The roots of the project which culminates with the writing of this book can be traced to the work on logic synthesis started in 1979 at the IBM Watson Research Center and at University of California, Berkeley. During the preliminary phases of these projects, the impor­ tance of logic minimization for the synthesis of area and performance effective circuits clearly emerged. In 1980, Richard Newton stirred our interest by pointing out new heuristic algorithms for two-level logic minimization and the potential for improving upon existing approaches. In the summer of 1981, the authors organized and participated in a seminar on logic manipulation at IBM Research. One of the goals of the seminar was to study the literature on logic minimization and to look at heuristic algorithms from a fundamental and comparative point of view. The fruits of this investigation were surprisingly abundant: it was apparent from an initial implementation of recursive logic minimiza­ tion (ESPRESSO-I) that, if we merged our new results into a two-level minimization program, an important step forward in automatic logic synthesis could result. ESPRESSO-II was born and an APL implemen­ tation was created in the summer of 1982. The results of preliminary tests on a fairly large set of industrial examples were good enough to justify the publication of our algorithms. It is hoped that the strength and speed of our minimizer warrant its Italian name, which denotes both express delivery and a specially-brewed black coffee.