Formal Pipeline Design

  • Tiberiu Seceleanu
  • Juha Plosila
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 2144)


The action systems formalism has recently been applied to the area of asynchronous and synchronous VLSI design. In this paper, we study formal aspects of synchronous pipelining. We show how the frame-work of synchronous action systems can be used to derive a pipelined structure from a non-pipelined specification in a correctness-preserving manner.


  1. 1.
    R. J. R. Back and K. Sere. Stepwise refinement of action systems. Structured Programming, 12:17–30, 1991.Google Scholar
  2. 2.
    R. J. R. Back and J. von Wright. Refinement calculus: A Systematic Introduction. Springer. April 1998.Google Scholar
  3. 3.
    R. J. R. Back and J. von Wright. Trace refinement of action systems. In B. Jonsson and J. Parrow, editors, CONCUR’94: Concurrency Theory, Sweden, 1994, volume 836 of LNCS. Springer, 1994.CrossRefGoogle Scholar
  4. 4.
    A. Davis and S. M. Nowick. Asynchronous circuit design: motivation, background and methods. Asynchronous Digital Circuit Design, G. Birtwistle and A. Davis (eds.), pages 1–49. Springer, 1995.Google Scholar
  5. 5.
    E. W. Dijkstra. A Discipline of Programming. Prentice-Hall International, 1976.Google Scholar
  6. 6.
    J. C. Ebergen, J. Segers, I. Benko. Parallel Program and Asynchronous Circuit Design. Asynchronous Digital Circuit Design, G. Birtwistle and A. Davis (eds.), Springer, 1995.Google Scholar
  7. 7.
    G. De Micheli. Synthesis and Optimisation of Digital Circuits. McGraw-Hill International Editions, 1994.Google Scholar
  8. 8.
    J. Plosila. Self-Timed Circuit Design-The Action Systems Approach. Ph.D. Thesis, University of Turku, Dept of Applied Physics, Turku, Finland, 1999.Google Scholar
  9. 9.
    J. Plosila and T. Seceleanu. Modeling Synchronous Action Systems. In Proc. of the 17 th NORCHIP Conference, Oslo, Norway, pages 242–248. November 1999.Google Scholar
  10. 10.
    J. Plosila, T. Seceleanu. Design of Synchronous Action Systems. In Proceedings of The 13th International Conference on VLSI Design, January 2000, pages 578–583.Google Scholar
  11. 11.
    T. Seceleanu, J. Plosila. Synchronous Pipeline Design in Action Systems. Turku Centre for Computer Science Technical Report No. 403, 2001.Google Scholar
  12. 12.
    J. M. Rabaey. Digital Integrated Circuits-A Design Perspective. Prentice-Hall International, 1996.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2001

Authors and Affiliations

  • Tiberiu Seceleanu
    • 1
  • Juha Plosila
    • 1
  1. 1.Dept of Applied Physics, Lab. of Electronics and Information TechnologyUniversity of TurkuTurkuFinland

Personalised recommendations