Technical reports
Hardware/software co-design using functional languages
Alan Mycroft, Richard Sharp
September 2000, 8 pages
DOI: 10.48456/tr-503
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 = {https://www.cl.cam.ac.uk/techreports/UCAM-CL-TR-503.pdf}, institution = {University of Cambridge, Computer Laboratory}, doi = {10.48456/tr-503}, number = {UCAM-CL-TR-503} }