Issue No. 08 - August (1990 vol. 39)
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/12.57037
<p>The set theory of arithmetic decomposition is a method of designing complex addition/subtraction circuits at any radix using strictly positional, sign-local number systems. The specification of an addition circuit is simply an equation that describes the inputs and the outputs as weighted digit sets. Design is done by applying a set of rewrite rules known as decomposition operators to the equation. The order in which and weight at which each operator is applied maps directly to a physical implementation, including both multiple-level logic and connectivity. The method is readily automated, and has been used to design some higher radix arithmetic circuits. It is possible to compute the cost of a given adder before the detailed design is complete.</p>
subtraction circuits; set theory; arithmetic decomposition; strictly positional; sign-local number systems; addition circuit; equation; inputs; outputs; weighted digit sets; rewrite rules; decomposition operators; multiple-level logic; connectivity; radix arithmetic circuits; digital arithmetic; logic circuits; logic design; many-valued logics; set theory.
J. Robertson and T. Carter, "The Set Theory of Arithmetic Decomposition," in IEEE Transactions on Computers, vol. 39, no. , pp. 993-1005, 1990.