Abstract
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.
This is a preview of subscription content, log in via an institution to check access.
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
M. Aubury, I. Page, G. Randall, J. Saul, R. Watts: Handel-C Language Reference Guide. Oxford University Computing Laboratory, August 28, 1996.
R.J.R. Back, K. Sere: From Action Systems to Modular Systems. Software-Concepts and Tools (1996) 26–39. Springer-Verlag.
D. van den Bout, et al.: Anyboard — An FPGA-Based Reconfigurable System. IEEE Design & Test of Computers, Vol. 9, No. 3, 21–30.
Embedded Solutions. Handel-C Preliminary Product Information Sheet. http://www.embedded-solutions.ltd.uk/ProdApp/handelc.htm, (ref. 15.8.97)
M. D. Ercegovac, T. Lang & J. H. Moreno: Introduction to Digital Systems. Academic Publishing Service, 1996 (draft 6/96)
C.A.R. Hoare, I. Page: Hardware and Software — The Closing Gap. Proceedings of the 5th Nordic Workshop on Program Correctness (1994) 1–23
C.A.R. Hoare: Proof of Correctness of Data Representations. Acta Informatica (1972) 1:271–281
S. Holmström, K. Sere: Reconfigurable Hardware — A Case Study in Codesign. Turku Centre for Computer Science. TUCS Technical Report No. 175, 1998.
A. E. Lawrence: HARP (TRAMple) Manual Volume 1, User Manual for HARP1 and HARP2. Version 0.1 (draft). Oxford University, 18.12.1996.
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.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1998 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Holmström, S., Sere, K. (1998). Reconfigurable hardware — A study in codesign. In: Hartenstein, R.W., Keevallik, A. (eds) Field-Programmable Logic and Applications From FPGAs to Computing Paradigm. FPL 1998. Lecture Notes in Computer Science, vol 1482. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0055279
Download citation
DOI: https://doi.org/10.1007/BFb0055279
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-64948-9
Online ISBN: 978-3-540-68066-6
eBook Packages: Springer Book Archive