رکورد قبلیرکورد بعدی

" SATISFIABILITY-BASED DEBUGGING OF SEQUENTIAL AND HIERARCHICAL DESIGNS.POMPES PAR TRANSITIONS MULTIPLES "


Document Type : Latin Dissertation
Language of Document : English
Record Number : 154157
Doc. No : ET25949
Main Entry : Moayad Fahim Ali
Title Proper : SATISFIABILITY-BASED DEBUGGING OF SEQUENTIAL AND HIERARCHICAL DESIGNS.POMPES PAR TRANSITIONS MULTIPLES
Note : This document is digital این مدرک بصورت الکترونیکی می باشد
Abstract : As VLSI designs grow in complexity and size, errors introduced during the design flow becomemore frequent, complex, and difficult to track. Debugging is the process of locating the source(s)of the error and applying corrections to rectify the design. Although much advancement hasbeen made in the field of verification, debugging remains a manual and a resource-.
Subject : Electericl tess
: برق
electronic file name : TL50222.pdf
Title and statement of responsibility and : SATISFIABILITY-BASED DEBUGGING OF SEQUENTIAL AND HIERARCHICAL DESIGNS.POMPES PAR TRANSITIONS MULTIPLES [Thesis]
آدرس ثابت

پیوستها
عنوان :
نام فایل :
نوع عام محتوا :
نوع ماده :
فرمت :
سایز :
عرض :
طول :
TL50222.pdf
TL50222.pdf
پایان نامه لاتین
متن
application/octet-stream
4.87 MB
85
85
نظرسنجی