Logic Synthesis with Exor Gates

Abstract

This chapter presents logic design methods using EXOR gates. Main topics include: 1) Design methods for AND OR, AND EXOR, OR AND OR, and OR AND OREXOR circuits. 2) Outline of EXMIN2, a heuristic simplification algorithm for Exclusive-OR SumOf-Products expressions (ESOPs). EXMItI’ZS ieiaetive ePuicSy teessumdbUepti dation the products in ESOPs as the first objective, am hene educes m iesnumoer of the literals as the second objectives. 3) A design method for AND-OR-EXOR and OR-AND-OR-EXOR circuits. This method converts AND-EXORs into AND-OR-EXORs without increasing the number of AND gates. It is useful when the EXORs gates are more expensive than ORs. 4) Costs for realizing various benchmark functions by (OR-)AND-OR, (OR-)ANDEXOR, and (OR-)AND-OR-EXOR circuits.