Sequential Logic Testing and Verification

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

In order to design and build computers that achieve and sustain high performance, it is essential that reliability issues be considered care­ fully. The problem has several aspects. Certainly, considering reliability implies that an engineer must be able to analyze how design decisions affect the incidence of failure. For instance, in order design reliable inte­ gritted circuits, it is necessary to analyze how decisions regarding design rules affect the yield, i.e., the percentage of functional chips obtained by the manufacturing process. Of equal importance in producing reliable computers is the detection of failures in its Very Large Scale Integrated (VLSI) circuit components, caused by errors in the design specification, implementation, or manufacturing processes. Design verification involves the checking of the specification of a design for correctness prior to carrying out an implementation. Implementation verification ensures that the manual design or automatic synthesis process is correct, i.e., the mask-level description correctly implements the specification. Manufacture test involves the checking of the complex fabrication process for correctness, i.e., ensuring that there are no manufacturing defects in the integrated circuit. It should be noted that all the above verification mechanisms deal not only with verifying the functionality of the integrated circuit but also its performance.