Multi-ValuedLogicSynthesis.pptVIP

Outline Division is central in many operations. What is it (in the context of Boolean functions)? What to divide (divisor) with? How to divide (quotient and remainder)? Applications: factoring, resubstitution, extraction Product Definition 1: An algebraic expression is a SOP representation of a logic function which is minimal w.r.t. single cube containment. Example: ab + abc + cd is not an algebraic expression, ab + cd is. Definition 2: The product of two algebraic expressions f and g, fg, is a ?cidj where {ci} = f, {dj} = g, made irredundant w.r.t single cube containment  e.g. ab + a = a Product Algebraic product: defined only when f and g have disjoint supports. Boolean product: otherwise. Example: (a+b)(c+d) = ac + ad + bc + bd is an algebraic product (a+b)(a+c) = aa + ac + ab + bc = a + bc is a Boolean product. Division Definition 3: g is a Boolean divisor of f if h and r exist such that f = gh + r, gh ? 0. g is said to be a factor of f if, in addition, r = 0, i.e., f = gh. h is called the quotient. r is called the remainder. h and r may not be unique. If gh is restricted to an algebraic product, h is the algebraic quotient, denoted f//g. Otherwise, h is a (non-unique) Boolean quotient denoted f ? g. (We will reserve the notation f/g for the more useful “weak division”, defined later). Division ( f = gh+r ) If h ? 0, and h can be obtained using algebraic division, then g is an algebraic divisor of f. Otherwise, g is a Boolean divisor of f. Example: f = ad + ae + bcd + j g1 = a + bc g2 = a + b Algebraic division f//a = d + e, f//(bc) = d (Also, f//a = d or f//a = e, i.e. algebraic division is not unique) h1 = f//g1 = d, r1 = ae + j Boolean division: h2 = f ? g2 = (a + c)d, r2 = ae + j.i.e. f = (a+b)(a+c)d + ae + j Division Definition 4: g is an algebraic factor of f if there exists an algebraic expression h such that f = gh (using algebraic multiplication). Why Use Algebraic Methods? need spectrum of operations - Alg