Reconfigurable hardware — A study in codesign
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.
- 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.R.J.R. Back, K. Sere: From Action Systems to Modular Systems. Software-Concepts and Tools (1996) 26–39. Springer-Verlag.Google Scholar
- 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.Embedded Solutions. Handel-C Preliminary Product Information Sheet. http://www.embedded-solutions.ltd.uk/ProdApp/handelc.htm, (ref. 15.8.97)Google Scholar
- 5.M. D. Ercegovac, T. Lang & J. H. Moreno: Introduction to Digital Systems. Academic Publishing Service, 1996 (draft 6/96)Google Scholar
- 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
- 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.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.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