Integrating Functional and Temporal Domains in Logic Design: The False Path Problem and Its Implications

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

This book is an extension of one author's doctoral thesis on the false path problem. The work was begun with the idea of systematizing the various solutions to the false path problem that had been proposed in the literature, with a view to determining the computational expense of each versus the gain in accuracy. However, it became clear that some of the proposed approaches in the literature were wrong in that they under­ estimated the critical delay of some circuits under reasonable conditions. Further, some other approaches were vague and so of questionable accu­ racy. The focus of the research therefore shifted to establishing a theory (the viability theory) and algorithms which could be guaranteed correct, and then using this theory to justify (or not) existing approaches. Our quest was successful enough to justify presenting the full details in a book. After it was discovered that some existing approaches were wrong, it became apparent that the root of the difficulties lay in the attempts to balance computational efficiency and accuracy by separating the tempo­ ral and logical (or functional) behaviour of combinational circuits. This separation is the fruit of several unstated assumptions; first, that one can ignore the logical relationships of wires in a network when considering timing behaviour, and, second, that one can ignore timing considerations when attempting to discover the values of wires in a circuit.