Boolean Sat isfiability Algorithms in Electronic Design Applications

دانشگاه آزاد اسلامی اصفهان(خوراسگان)

منو

رکورد قبلی

رکورد بعدی

" Boolean Sat isfiability Algorithms in Electronic Design Applications "

Document Type	:	Latin Dissertation
Language of Document	:	English
Record Number	:	151424
Doc. No	:	ET23216
Main Entry	:	Mario Escobar
Title Proper	:	Boolean Sat isfiability Algorithms in Electronic Design Applications
Note	:	This document is digital این مدرک بصورت الکترونیکی می باشد
Abstract	:	Escobar, Mario (Ph-D., Electrical and Computer Engineering )Boolean Satisfiability Algorithms in Electronic Design ApplicationsThesis directed by Prof. Fabio SomenziThe automated synthesis of complex digital circuits affords important benefits aswell as interesting research challenges. In this work we explore three central problemsencountered in the synthesis of combinational logic circuits:0 Logic Synthesis for Exclusive OR expressions.Boolean matching.Equivalence class computations.We present new algorithms for solving these problems. These algorithms are based on acommon paradigm. Namely, they all use a Boolean satisfiability approach, and Booleanmethods to solve these problems. These methods are implemented on Binary aecisionDiagrams (BDDs) .For the synthesis of EXOR expressions, we present and algorithm that accepts anincompletely specified multiple-output Boolean function and returns an exact ExclusiveOR sum of products expression. Exclusive OR sums of products often have less gatesand interconnections that the traditional sum of products realizations, and are easilytestable.Detecting the equivalence of Boolean functions, also called Boolean matching, en-tails checking for their functional equivalence....-....,....-...,..tested for theQ1 PC1 bus cardBoth these projects mere sofixare des elopment efforts tonards contributing to dlfferentaspects of Roboucs and lZ1echatronics projects m the Controls and Roboucs Group..
Subject	:	Electericl tess
	:	برق
electronic file name	:	TL46452.pdf
Title and statement of responsibility and	:	Boolean Sat isfiability Algorithms in Electronic Design Applications [Thesis]