Skip to main content
Conference ProceedingsOPEN ACCESS

Hardware/software co-design using functional languages

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (2001) 2031 LNCS 236-251
DOI: 10.1007/3-540-45319-9_17
17Citations
Citations of this article
8Readers
Mendeley users who have this article in their library.

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. © Springer-Verlag Berlin Heidelberg 2001.

References Powered by Scopus

A Transformation System for Developing Recursive Programs

Journal of the ACM (JACM)
841Citations
N/AReaders
Get full text

Chinook hardware/software co-synthesis system

Proceedings of the International Symposium on System Synthesis
86Citations
N/AReaders
Get full text

Behavioral Transformation for Algorithmic Level IC Design

IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
40Citations
N/AReaders
Get full text
View more at Scopus

Cited by Powered by Scopus

System Modeling and Transformational Design Refinement in ForSyDe

IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
136Citations
N/AReaders
Get full text

Hardware synthesis using SAFL and application to processor design

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
14Citations
N/AReaders
Get full text

ForSyDe: System design using a functional language and models of computation

Handbook of Hardware/Software Codesign
11Citations
N/AReaders
Get full text
View more at Scopus

Register to see more suggestions

Mendeley helps you to discover research relevant for your work.

Already have an account?

Cite

CITATION STYLE

APA

Mycroft, A., & Sharp, R. (2001). Hardware/software co-design using functional languages. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 2031 LNCS, pp. 236–251). Springer Verlag. https://doi.org/10.1007/3-540-45319-9_17

Readers' Seniority

Tooltip

Professor / Associate Prof. 4

80%

PhD / Post grad / Masters / Doc 1

20%

Readers' Discipline

Tooltip

Computer Science 5

83%

Engineering 1

17%

Save time finding and organizing research with Mendeley

Sign up for free