This page uses JavaScript and requires a JavaScript enabled browser.Your browser is not JavaScript enabled.
This page uses JavaScript and requires a JavaScript enabled browser.Your browser is not JavaScript enabled.
دانشگاه آزاد اسلامی اصفهان(خوراسگان)
منو
درگاههای جستجو
مدارک
جستجوی پیشرفته
مرور
جستجو در سایر کتابخانه ها
مستندات
جستجوی پیشرفته
مرور
منابع دیجیتال
تمام متن
اصطلاحنامه
درختواره
پرسش و پاسخ
سوالات متداول
پرسش از کتابدار
پیگیری پرسش
ورود
ثبت نام
راهنما
خطا
رکورد قبلی
رکورد بعدی
"
Managing Circuit Don't Cares in Boolean Satisfiability.POMPES PAR TRANSITIONS MULTIPLES
"
Document Type
:
Latin Dissertation
Language of Document
:
English
Record Number
:
154171
Doc. No
:
ET25963
Main Entry
:
Sean A. Safarpour
Title Proper
:
Managing Circuit Don't Cares in Boolean Satisfiability.POMPES PAR TRANSITIONS MULTIPLES
Note
:
This document is digital این مدرک بصورت الکترونیکی می باشد
Abstract
:
Boolean Satisfiability solvers are widely used in many VLSI Computer Aided Design applica-tions. Their popularity is due to recent developments such as effective search space pruning,decision making, and learning from previous mistakes. Most SAT algorithms and performanceimprovement techniques focus on the core engine and do not exploit circuit specific proper-ties. Historically, properties such as don't care conditions have played an important role inproblems such as test pattern.
Subject
:
Electericl tess
:
برق
electronic file name
:
TL50236.pdf
Title and statement of responsibility and
:
Managing Circuit Don't Cares in Boolean Satisfiability.POMPES PAR TRANSITIONS MULTIPLES [Thesis]
http://localhost/site/catalogue/154171
آدرس ثابت
پیوستها
عنوان :
نام فایل :
نوع عام محتوا :
نوع ماده :
فرمت :
سایز :
عرض :
طول :
TL50236.pdf
TL50236.pdf
پایان نامه لاتین
متن
application/octet-stream
4.77 MB
85
85
نمایش
نظرسنجی