Reconfigurable hardware — A study in codesign

  • Samuel Holmström
  • Kaisa Sere
Part of the Lecture Notes in Computer Science book series (LNCS, volume 1482)


The role of software methods, especially programming, is achieving a more and more important role in system design. This paper demonstrates how an algorithm can be implemented partly in hardware and partly in software on a special FPGA-based reconfigurable computing system platform. We start with an abstract formal specification of the algorithm. Thereafter we show, without being very formal, how the specification is mapped into an implementation. Moreover, the specification helps us in identifying the different software and hardware partitions.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    M. Aubury, I. Page, G. Randall, J. Saul, R. Watts: Handel-C Language Reference Guide. Oxford University Computing Laboratory, August 28, 1996.Google Scholar
  2. 2.
    R.J.R. Back, K. Sere: From Action Systems to Modular Systems. Software-Concepts and Tools (1996) 26–39. Springer-Verlag.Google Scholar
  3. 3.
    D. van den Bout, et al.: Anyboard — An FPGA-Based Reconfigurable System. IEEE Design & Test of Computers, Vol. 9, No. 3, 21–30.Google Scholar
  4. 4.
    Embedded Solutions. Handel-C Preliminary Product Information Sheet., (ref. 15.8.97)Google Scholar
  5. 5.
    M. D. Ercegovac, T. Lang & J. H. Moreno: Introduction to Digital Systems. Academic Publishing Service, 1996 (draft 6/96)Google Scholar
  6. 6.
    C.A.R. Hoare, I. Page: Hardware and Software — The Closing Gap. Proceedings of the 5th Nordic Workshop on Program Correctness (1994) 1–23Google Scholar
  7. 7.
    C.A.R. Hoare: Proof of Correctness of Data Representations. Acta Informatica (1972) 1:271–281MATHCrossRefGoogle Scholar
  8. 8.
    S. Holmström, K. Sere: Reconfigurable Hardware — A Case Study in Codesign. Turku Centre for Computer Science. TUCS Technical Report No. 175, 1998.Google Scholar
  9. 9.
    A. E. Lawrence: HARP (TRAMple) Manual Volume 1, User Manual for HARP1 and HARP2. Version 0.1 (draft). Oxford University, 18.12.1996.Google Scholar
  10. 10.
    M. B. Srivastava & R. W. Brodersen. Using VHDL for High-Level, Mixed-Mode System Simulation. IEEE Design & Test of Computers, Vol. 9, No. 3, 31–40.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1998

Authors and Affiliations

  • Samuel Holmström
    • 1
  • Kaisa Sere
    • 1
  1. 1.Department of Computer ScienceTurku Centre for Computer Science, åbo Akademi UniversityTurkuFinland

Personalised recommendations