Issue No. 08 - August (1994 vol. 43)

ISSN: 0018-9340

pp: 868-879

DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/12.295849

ABSTRACT

<p>We establish new, yet intimate relationships between the 2-adic integers /sub 2/Z from arithmetics and digital circuits, both finite and infinite, from electronics. 1) Rational numbers with an odd denominator correspond to output only synchronous circuits. 2) Bit-wise 2-adic mappings correspond to combinational circuits. 3) Online functions /spl forall/n/spl isin/N,x/spl isinsub 2/Z:f(x)=f(xmodd2/sup n/)mod2/sup n/), correspond to synchronous circuits. 3) Continuous functions, /sub 2/Z/spl rarrsub 2/Z, correspond to circuits with output enable. The proof is obtained by constructing synchronous decision diagrams SDDs. They generalize to sequential circuits as classical BDD constructs do for combinational circuits. From simple identities over /sub 2/Z, we derive both classical and new bit-serial circuits for computing: {+,-,/spl times/,1/(1-2x), (1+8x)}. The correctness of each circuit directly follows from the 2-adic definition of the corresponding operator. All but the adders (+,-) above are infinite. Yet the use of reset signals reduces all previously infinite operators to finite circuits. The present work lays out the semantic basis of a new language for describing synchronous circuits. Language 2Z incorporates arithmetic synthesis for some of the above bit-serial operators, and for periodic binary constants (logic from chronograms). It also provides for the powerful deeply binding synchronous enable and reset operators, whose meaning is discussed.</p>

INDEX TERMS

PROM; specification languages; combinatorial circuits; sequential circuits; digital arithmetic; logic CAD; 2-adic integers; arithmetic; digital circuits; rational numbers; synchronous circuits; combinational circuits; continuous functions; synchronous decision diagrams; BDD constructs; bit-serial circuits; adders; reset signals; 2Z; arithmetic synthesis f; periodic binary constants; deeply binding synchronous enable; combinational circuit semantics; arbitrary precision; programmable active memories.

CITATION

J. Vuillemin, "On Circuits and Numbers," in

*IEEE Transactions on Computers*, vol. 43, no. , pp. 868-879, 1994.

doi:10.1109/12.295849

CITATIONS

SEARCH