Abstract
Harp1 is a circuit board designed to exploit the rigorous compilation of parallel algorithms directly into hardware. It includes a transputer closely-coupled to a Field-Programmable Gate Array (FPGA). The whole system can be regarded as an instance of a process in the theory of Communicating Sequential Processes (CSP). The major elements themselves can also be viewed in the same way: both the transputer and the FPGA can implement many parallel communicating sub-processes. The Harp1 design includes memory banks, a programmable frequency synthesizer and several communication ports. The latter supports the use of parallel arrays of Harp1 boards, as well as interfacing to external hardware. Harp1 is the target of mathematical tools based upon the Ruby and occam languages, which enable unusual and novel applications to be produced and demonstrated correctly and rapidly; the aim is to produce high quality designs at low costs and with reduced development time.
This is a preview of subscription content, log in via an institution.
Preview
Unable to display preview. Download preview PDF.
References
C A R Hoare. Communicating Sequential Processes. Prentice-Hall International, 1985.
G Jones and M Sheeran. Circuit Design In Ruby. In J Staunstrup (ed.), Formal methods for VLSI design, North-Holland, 1990.
occam 2 Reference Manual. Prentice-Hall International, 1988.
W R Moore and W Luk, Eds. More FPGAs. Abingdon EE&CS Books, 1994.
W R Moore and W Luk, Eds. FPGAs. Abingdon EE&CS Books, 1991.
I Page and W Luk. Compiling occam into FPGAs, In [5].
W Luk and I Page. Parameterising Designs for FPGAs. In [5].
I Page, W Luk and H Lau, Hardware Compilation for FPGAs: Imperative and Declarative Approaches for a Robotics Interface. Proc. IEE Colloquium on Field Programmable Gate Arrays — Technology and Applications, Ref. 1993/037, pp. 9.1–9.4, IEE, February 1993.
J He, I Page and J P Bowen. Towards a Provably Correct Hardware Implementation of Occam. In G J Milne and L Pierre (eds.), Correct Hardware Design and Verification Methods, Lecture Notes in Computer Science, 683, pp. 214–225, Springer-Verlag. 1993.
I Page. Parametrised Processor Generation. In [4].
W Luk, D Ferguson and I Page. Structured Compilation of Parallel Programs into Hardware. In [4].
W Luk and T Wu. Towards a Declarative Framework for Hardware-Software Codesign. In Proc. Third International Workshop on Hardware/Software Codesign, pp. 181–188, IEEE Computer Society Press, 1994.
A E Lawrence. HARP1 User Manual.
A E Lawrence. HARP1 (TRAMple) manual, volume 2: Manufacturing Pack. 1992. Confidential.
A E Lawrence. Analysis of a Phase Locked Loop: Expanded issue for HARP1 documentation. 1991. Confidential.
Dual-in-Line Transputer Modules (TRAMs). Inmos Technical Note 29, Transputer Development and iQ Systems Databook. 2nd Edition, 1991.
The Programmable Logic Data Book. Xilinx Inc., 1993.
The Transputer Databook. Inmos document 72 TRN 203 02, Third edition, Inmos, 1992.
The T9000 Transputer Hardware Reference Manual. Inmos document 72 TRN 238 01, First edition, Inmos, 1993.
M S Jhitta. Introduction of a New FPGA Architecture. In [4].
Configurable Logic Design and Application Book. Atmel Ltd., 1993.
M Aubury and W Luk. Binomial Filters. To appear in Journal of VLSI Signal Processing.
M Bowen. Tracking Moving Objects in Video Images. Project Report, Oxford University Computing Laboratory, 1994.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1995 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Lawrence, A., Kay, A., Luk, W., Nomura, T., Page, I. (1995). Using reconfigurable hardware to speed up product development and performance. In: Moore, W., Luk, W. (eds) Field-Programmable Logic and Applications. FPL 1995. Lecture Notes in Computer Science, vol 975. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-60294-1_104
Download citation
DOI: https://doi.org/10.1007/3-540-60294-1_104
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-60294-1
Online ISBN: 978-3-540-44786-3
eBook Packages: Springer Book Archive