Transformational development of circuit descriptions for binary adders

  • Carlos Delgado Kloos
  • Walter Dosch
Part III. Case Studies in Development
Part of the Lecture Notes in Computer Science book series (LNCS, volume 544)


Transformational programming is the method of program development where an algorithm is stepwise deduced from a specification by applying correctness-preserving transformations. Using this programming technique, circuit descriptions for different binary adders are derived, viz. the parallel adder, the serial adder, and the carry look-ahead adder. This case study aims at transferring notions and methods from programming to hardware description and design.


Digital Circuit Binary Digit Digit Sequence Circuit Description Adder Function 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [Bauer, Wössner 82]
    F.L. Bauer, H. Wössner: Algorithmic Language and Program Development. Berlin: Springer 1982Google Scholar
  2. [Bauer et al. 85]
    F.L. Bauer, R. Berghammer, M. Broy, W. Dosch, F. Geiselbrechtinger, R. Gnatz, E. Hangel, W. Hesse, B. Krieg-Brückner, A. Laut, T. Matzner, B. Möller, F. Nicki, H. Partsch, P. Pepper, K. Samelson (†), M. Wirsing, H. Wössner: The Munich Project CIP. Volume I: The Wide Spectrum Language CIP-L. Lecture Notes in Computer Science 183. Berlin: Springer 1985Google Scholar
  3. [Bauer et al. 89]
    F.L. Bauer, B. Möller, H. Partsch, P. Pepper: Formal Program Construction by Transformations — Computer-Aided, Intuition-Guided Programming. IEEE Transactions on Software Engineering 15:2, 165–180 (1989)Google Scholar
  4. [Brent, Kung 80]
    R. P. Brent, H. T. Kung: A Regular Layout for Parallel Adders. IEEE Transactions on Computers C-31:3, 260–264 (1980)Google Scholar
  5. [Delgado Kloos 87]
    C. Delgado Kloos: Semantics of Digital Circuits. Lecture Notes in Computer Science 285. Berlin: Springer 1987Google Scholar
  6. [Flores 63]
    I. Flores: The Logic of Computer Arithmetic. Englewood Cliffs, New Jersey: Prentice-Hall 1963Google Scholar
  7. [Hill, Peterson 74]
    F.J. Hill, G.R. Peterson: Introduction to Switching Theory and Logic Design. Second Edition. New York: John Wiley & Sons 1974Google Scholar
  8. [Hill, Peterson 78]
    F.J. Hill, G.R. Peterson: Digital Systems: Hardware Organization and Design. Second Edition. New York: John Wiley & Sons 1978Google Scholar
  9. [Mano 84]
    M. M. Mano: Digital Design. Englewood Cliffs, New Jersey: Prentice-Hall 1984Google Scholar
  10. [Mead, Conway 80]
    C. Mead, L. Conway: Introduction to VLSI Systems. Reading, Mass.: Addison-Wesley Publishing Company 1980Google Scholar
  11. [Richards 71]
    R. K. Richards: Digital Design. New York: John Wiley & Sons 1971Google Scholar
  12. [Weinberger, Smith 56]
    A. Weinberger, J. L. Smith: The Logical Design of a One-Micro-second Adder Using One-Megacycle Circuitry. IRE Trans. Elec. Computer EC-5:2, 65–73 (1956)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1991

Authors and Affiliations

  • Carlos Delgado Kloos
    • 1
  • Walter Dosch
    • 2
  1. 1.Depto. Ingeniería de Sistemas TelemáticosE.T.S. Ing. Telecomunicación Universidad Politécnica de MadridMadrid
  2. 2.Institut für MathematikUniversität AugsburgAugsburg

Personalised recommendations