Hardware Description Language Program Slicing and way to Reduce Bounded Model Checking Search Overhead

منو

" Hardware Description Language Program Slicing and way to Reduce Bounded Model Checking Search Overhead "

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]