خط مشی دسترسیدرباره ما
ثبت نامثبت نام
راهنماراهنما
فارسی
ورودورود
صفحه اصلیصفحه اصلی
جستجوی مدارک
تمام متن
منابع دیجیتالی
رکورد قبلیرکورد بعدی
Document Type : Latin Dissertation
Language of Document : English
Record Number : 149357
Doc. No : ET21149
Main Entry : Jen-Chieh Ou
Title Proper : Hardware Description Language Program Slicing and way to Reduce Bounded Model Checking Search Overhead
Note : This document is digital این مدرک بصورت الکترونیکی می باشد
Abstract : Modern complex digital systems are described in HardwareDescription Language (HDL). The increase in design complexity is causingverication tools to require large amount of resources. In this research, wepresent a program slicing technique to extract statements from an RTLdesign that directly or indirectly contribute to a formal verication rule.The extracted statements constitute a less complex design that reduces the.
Subject : Electericl tess
: برق
electronic file name : TL44298.pdf
Title and statement of responsibility and : Hardware Description Language Program Slicing and way to Reduce Bounded Model Checking Search Overhead [Thesis]
 
 
 
(در صورت عدم وضوح تصویر اینجا را کلیک نمایید)