Abstract
Digital numbers D are the world’s most popular data representation: nearly all texts, sounds and images are coded somewhere in time and space by binary sequences. The mathematical construction of the fixed-point D ≃ Z 2 and floating-point D′ ≃ Q 2 digital numbers is a dual to the classical constructions of the real numbers R.
The domain D′ contains the binary integers N and Z, as well as Q. The arithmetic operations in D′ are the usual ones when restricted to integers or rational numbers. Similarly, the polynomial operations in D′ are the usual ones when applied to finite binary polynomials F 2[z] or their quotients F 2 (z). Finally, the set operations in D are the usual ones over finite or infinite subsets of N.
The resulting algebraic structure is rich, and we identify over a dozen rings, fields and Boolean algebras in D and D′. Each structure is well-known in its own right. The unique nature of digital numbers is to combine all into a single algebraic structure, where operations of different nature happily mix. The two’s complement formula −x = 1 + ¬x is an example. Digital algebra is concerned with the relations between a dozen operators. Digital synchronous circuits are built from a simple subset of these operators: three Boolean gates and the unit-delay z.
Digital analysis is simpler and more intuitive than analysis in R. The computable digital functions D ₦ D are continuous: each output bit depends upon finitely many input bits. Infinite circuits compute causal functions: present output depends upon past inputs. Sequential functions are equivalently computed by FSM and by finite circuits.
The v-transform is an infinite binary truth-table for causal functions. The v-transform provides a natural one-to-one correspondence between algebraic digital numbers and sequential functions. Questions about sequential functions are transformed by v into questions about algebraic digital numbers, where the whole of digital algebra applies.
An algebraic digital number is finitely represented by a unique minimal regular binary tree RBT. The inverse transform of the RBT is the minimal deterministic FSM for computing the (reversed) sequential function. An algebraic digital number is finitely represented by a unique minimal up-polynomial MUP of which it is root. The MUP is smaller than the RBT. It is exponentially smaller than the minimal deterministic FSM for a shift-register circuit.
The net-list of a circuit is transformed by v into the isomorphic truth-list: a system of equations over algebraic numbers. Circuit examples show how the truth-list is cast to normal form — either RBT or MUP — through a sequence of simple identities within digital algebra. This contribution is dedicated to Zohar Manna on his 64-th birthday.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
J. P. Allouche. Automates finis en théorie des nombres. Expositiones Mathematicae, 5:239–266, 1987.
L. E. Baum and M. M. Sweet. Continued fractions of algebraic power series in characteristic 2. Annals of Mathematics, 103:593–610, 1976.
R. E. Bryant. Graph-based algorithms for boolean function manipulation. IEEE Trans. on Computers, 35:8:677–691, 1986.
G. Christol. Ensembles presque periodiques k-reconaissables. Theoretical Computer Science, 9:141–145, 1979.
G. Christol, T. Kamae, M. M. France, and G. Rauzy. Suites algèbriques, automates et substitutions. Bull. Soc. Math. France, pages 401-419, 1980.
A. Cobham. Uniform tag sequences. Math. Systems Theory, 6:164–192, 1972.
S. Eilenberg. Automata, Languages, and Machines, vol. I. Academic Press, 1974.
F. Q. Gouvêa. p-adic numbers: an introduction — second edition. Springer, 1991.
D. E. Knuth. The Art of Computer Programming, vol. 2, Seminumerical Algorithms. Addison Wesley, 1981.
G. D. Micheli. Synthesis and optimizations of digital circuits. McGraw-Hill, 1994.
J. Vuillemin. On circuits and numbers. IEEE Trans. on VLSI, 43:8:868–879, 1994.
J. Vuillemin. Finite circuits are characterized by 2-algebraic truth-tables. In Advances in Computing Science — ASIAN 2000, volume 1961 of L.N.C.S., pages 1-12. Springer-Verlag, 2000.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2003 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Vuillemin, J. (2003). Digital Algebra and Circuits. In: Dershowitz, N. (eds) Verification: Theory and Practice. Lecture Notes in Computer Science, vol 2772. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-39910-0_31
Download citation
DOI: https://doi.org/10.1007/978-3-540-39910-0_31
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-21002-3
Online ISBN: 978-3-540-39910-0
eBook Packages: Springer Book Archive