Synthesis of Finite State Machines: Functional Optimization

ویرایش: 1 
نویسندگان: Timothy Kam,  Tiziano Villa,  Robert Brayton,  Alberto Sangiovanni-Vincentelli (auth.)  
سری:  
ISBN (شابک) : 9781441951700, 9781475726220 
ناشر: Springer US 
سال نشر: 1997 
تعداد صفحات: 286 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 7 مگابایت 

قیمت کتاب (تومان) : 65,000



سنتز ماشین‌های حالت محدود: بهینه‌سازی عملکردی یکی از دو تک نگاری است که به سنتز ماشین‌های حالت محدود (FSM) اختصاص دارد. این جلد به بهینه سازی عملکردی می پردازد، در حالی که جلد دوم به بهینه سازی منطقی می پردازد. منظور از بهینه‌سازی تابعی در اینجا مجموعه تکنیک‌هایی است که:

• کلیه توابع ترتیبی مجاز را برای توپولوژی داده‌ای از FSMهای به هم پیوسته محاسبه می‌کند و
• یک تابع متوالی "بهترین" را از مقدار مجاز انتخاب می‌کند. ones.

نتیجه یک توصیف نمادین از FSM است که تابع ترتیبی انتخاب شده را نشان می دهد. منظور از بهینه‌سازی منطقی در اینجا مراحلی است که توصیف نمادین یک FSM را به پیاده‌سازی سخت‌افزاری با هدف بهینه‌سازی اهدافی مانند ناحیه، آزمایش‌پذیری، عملکرد و غیره تبدیل می‌کند.
سنتز ماشین‌های حالت محدود: بهینه‌سازی عملکردی به سه بخش تقسیم می‌شود. بخش اول برخی از تعاریف مقدماتی، تئوری ها و تکنیک های مربوط به کاوش رفتار FSM ها را ارائه می کند. بخش دوم یک الگوریتم ضمنی برای کمینه‌سازی حالت دقیق ماشین‌های حالت محدود ناقص مشخص شده (ISFSM) و ارائه کامل الگوریتم‌های صریح و ضمنی برای مسئله پوشش دوتایی ارائه می‌کند. بخش سوم به محاسبه رفتارهای مجاز در یک گره از شبکه‌ای از FSMها و مشکلات کمینه‌سازی مرتبط با ماشین‌های حالت محدود غیر قطعی (NDFSM) می‌پردازد.
موضوعات کلیدی موجود در کتاب عبارتند از کاوش رفتارهای موجود در یک FSM غیر قطعی (NDFSM) و نمایش مشکلات ترکیبی ناشی از سنتز FSM با استفاده از نمودارهای تصمیم گیری دودویی (BDD).
سنتز ماشین‌های حالت محدود: بهینه‌سازی عملکردی مورد توجه محققان و طراحان در سنتز منطق، CAD و اتوماسیون طراحی خواهد بود.

Synthesis of Finite State Machines: Functional Optimization is one of two monographs devoted to the synthesis of Finite State Machines (FSMs). This volume addresses functional optimization, whereas the second addresses logic optimization. By functional optimization here we mean the body of techniques that:

• compute all permissible sequential functions for a given topology of interconnected FSMs, and
• select a `best' sequential function out of the permissible ones.

The result is a symbolic description of the FSM representing the chosen sequential function. By logic optimization here we mean the steps that convert a symbolic description of an FSM into a hardware implementation, with the goal to optimize objectives like area, testability, performance and so on.
Synthesis of Finite State Machines: Functional Optimization is divided into three parts. The first part presents some preliminary definitions, theories and techniques related to the exploration of behaviors of FSMs. The second part presents an implicit algorithm for exact state minimization of incompletely specified finite state machines (ISFSMs), and an exhaustive presentation of explicit and implicit algorithms for the binate covering problem. The third part addresses the computation of permissible behaviors at a node of a network of FSMs and the related minimization problems of non-deterministic finite state machines (NDFSMs).
Key themes running through the book are the exploration of behaviors contained in a non-deterministic FSM (NDFSM), and the representation of combinatorial problems arising in FSM synthesis by means of Binary Decision Diagrams (BDDs).
Synthesis of Finite State Machines: Functional Optimization will be of interest to researchers and designers in logic synthesis, CAD and design automation.

Front Matter....Pages i-xiii
Front Matter....Pages 1-1
Introduction....Pages 3-10
Taxonomy and Theory of Behaviors....Pages 11-35
Implicit Techniques....Pages 37-70
Front Matter....Pages 71-71
Compatible Generation....Pages 73-113
Binate Covering....Pages 115-173
Front Matter....Pages 175-175
Permissible Behaviors in a Network of FSMs....Pages 177-218
State Minimization of Non-Deterministic FSMs....Pages 219-242
State Minimization of PNDFSMs in Networks of FSMs....Pages 243-262
Conclusions....Pages 263-266
Back Matter....Pages 267-282