خط مشی دسترسیدرباره ما
ثبت نامثبت نام
راهنماراهنما
فارسی
ورودورود
صفحه اصلیصفحه اصلی
جستجوی مدارک
تمام متن
منابع دیجیتالی
رکورد قبلیرکورد بعدی
Document Type : Latin Dissertation
Language of Document : English
Record Number : 152224
Doc. No : ET24016
Main Entry : Vishnu C. Vimjam
Title Proper : Strategies for SAT-based Formal Verification
Note : This document is digital این مدرک بصورت الکترونیکی می باشد
Abstract : Vevijication of digital havdwave designs is becorning an incveasingly complex task as the designs arae incot=porating mor~efi~nctionali~~, becoming conzplex and growing larger in size. Today, verijkation remains abottleneck in meeting time-to-rnavket raequivenzents and consumes rnove than 70 of the ovevall design-costs.fiaditionally, verijication has been done using simulation-based appvoaches, wheve a set of appr*opriate test-stinzuli is used by the designer: As the designs beconze nzore conzplex, however; simzdation-based techniquesoften fail to capttive comev-case eravorx Fzirthermor*e, unless exhaustively tested these appvoaches do notguavantee the covvectness of a system with raespect to its specijications. As a consequence, formal methods.
Subject : Electericl tess
: برق
electronic file name : TL48169.pdf
Title and statement of responsibility and : Strategies for SAT-based Formal Verification [Thesis]
 
 
 
(در صورت عدم وضوح تصویر اینجا را کلیک نمایید)