by Jonathan Bowen, He Jifeng
http://ftp.museophile.sbu.ac.uk/pub/jpb/rucs-1999-tr-012-a.ps.gz
Add To MetaCart
Abstract:
The use of Field Programmable Gate Arrays (FPGA) to rapidly produce custom hardware circuits using a completely software-based process is becoming increasingly widespread. Specialized Hardware Description Languages (HDL) are used to describe and develop the required circuits. In this paper, we advocate using an even more general purpose programming language, based on Occam, for the automatic compilation of high-level programs to low-level circuits. We demonstrate that the compilation process can be verified, increasing the confidence in its correctness, and that it can be very directly automated using the logic programming language Prolog.
Citations
|
562
|
The Esterel synchronous programming language: Design, semantics, implementation
– Berry, Gonthier
- 1992
|
|
287
|
An Introduction to Prolog III
– Colmerauer
- 1990
|
|
136
|
Hardware-Software Co-Design of Embedded Systems: The POLIS Approach
– Balarin, Chiodo, et al.
- 1997
|
|
134
|
The foundations of ESTEREL
– Berry
- 2000
|
|
34
|
Towards a Provably Correct Hardware Implementation of Occam
– Jifeng, Page, et al.
- 1993
|
|
19
|
Proposal for a Programming Language Core for
– Franzle
- 1993
|
|
17
|
An invitation to formal methods
– Bowen, Butler, et al.
- 1996
|
|
16
|
Towards truly delay-insensitive circuit realizations of process algebras
– Brown
- 1991
|
|
15
|
Programs to Object Code and back again using Logic Programming: Compilation and Decompilation
– Bowen
- 1993
|
|
13
|
Decompilation: The Enumeration of Types and Grammars
– Breuer, Bowen
- 1994
|
|
13
|
Specification, verification and prototyping of an optimized compiler
– Jifeng, Bowen
- 1994
|
|
12
|
A Behavioral Model for Co-design
– Jifeng
- 1999
|
|
10
|
Provably Correct Systems: Modelling of Communication languages and
– Jifeng
- 1995
|
|
7
|
in: pursuit of hardware-software codesign
– Garber, Sims
- 1998
|
|
6
|
A Common Framework for Mixed Hardware/Software Systems
– Jifeng
- 1999
|
|
4
|
High-Integrity System Specification and Design, Formal Approaches to Computing and Information Technology (FACIT) series, (Springer-Verlag
– Bowen, Hinchey
- 1999
|
|
4
|
The Circal system, in
– Cerone, Cowie, et al.
- 1997
|
|
3
|
hcc: A Handel-C
– Aubury, Page, et al.
- 1996
|
|
2
|
Rapid compiler implementation
– Bowen
|
|
2
|
Hardware Compilation of the Gas Burner Case Study
– Bowen
- 1995
|
|
2
|
Animating the Semantics of VERILOG using Prolog, UNU/IIST
– Bowen
- 1999
|
|
2
|
Franzle E-R. Olderog and A.P. Ravn, Developing Correct Systems
– Bowen, M
- 1993
|
|
2
|
He Jifeng and Zheng
– Bowen, Hoare, et al.
- 1994
|
|
2
|
A ProCoS-WG Working Group Final Report: ESPRIT Working Group 8694
– Bowen, Hoare, et al.
- 1998
|
