Hardware/Software Co-Design using Functional Languages (2001)
Cached
Download Links
| Venue: | In Proceedings of TACAS (2001 |
| Citations: | 16 - 7 self |
BibTeX
@INPROCEEDINGS{Mycroft01hardware/softwareco-design,
author = {Alan Mycroft and Richard Sharp},
title = {Hardware/Software Co-Design using Functional Languages},
booktitle = {In Proceedings of TACAS (2001},
year = {2001},
pages = {236--251},
publisher = {SpringerVerlag}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
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 di#erent points on the area-time spectrum.
