Department of Computer Science and Technology

Technical reports

Hardware/software co-design using functional languages

Alan Mycroft, Richard Sharp

September 2000, 8 pages

DOI: 10.48456/tr-503


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

  author =	 {Mycroft, Alan and Sharp, Richard},
  title = 	 {{Hardware/software co-design using functional languages}},
  year = 	 2000,
  month = 	 sep,
  url = 	 {},
  institution =  {University of Cambridge, Computer Laboratory},
  doi = 	 {10.48456/tr-503},
  number = 	 {UCAM-CL-TR-503}