Computer Laboratory

Technical reports

Hardware/software co-design using functional languages

Alan Mycroft, Richard Sharp

September 2000, 8 pages

Abstract

In previous work we have developed and prototyped a silicon compiler which translates a functional language (SAFL) into hardware. Here we present a SAFL-level program transformation which: (i) partitions a specification into hardware and software parts and (ii) generates a specialised architecture to execute the software part. The architecture consists of a number of interconnected heterogeneous processors. Our method allows a large design space to be explored by systematically transforming a single SAFL specification to investigate different points on the area-time spectrum.

Full text

PDF (0.1 MB)

BibTeX record

@TechReport{UCAM-CL-TR-503,
  author =	 {Mycroft, Alan and Sharp, Richard},
  title = 	 {{Hardware/software co-design using functional languages}},
  year = 	 2000,
  month = 	 sep,
  url = 	 {http://www.cl.cam.ac.uk/techreports/UCAM-CL-TR-503.pdf},
  institution =  {University of Cambridge, Computer Laboratory},
  number = 	 {UCAM-CL-TR-503}
}