Strategies for SAT-based Formal Verification

منو

" Strategies for SAT-based Formal Verification "

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 appropriate test-stinzuli is used by the designer: As the designs beconze nzore conzplex, however; simzdation-based techniquesoften fail to capttive comev-case eravorx Fzirthermore, 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]