A. Mycroft, R.W. Sharp  Home/Search
Context Related
| cl.cam.ac.uk/users/am/p...dsd2000.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: cl.cam.ac.uk/users/am/papers/ (more) Homepages: A.Mycroft |
Rate this article:      (best)Comment on this article |
Abstract: In previous work we have developed and prototyped a silicon compiler which translates a functional language (SAFL) into hardware. The techniques we use require the restriction (static allocatability) that all recursive calls are in a tail context. Here we extend this work, translating a functional language with general recursion by mapping some functions directly to hardware and others to instructions for a parameterised CPU. As SAFL is expressive enough to specify both CPU and instruction... (Update)
Cited by: More
Verifying Temporal Properties in HW-Hume - Grov, Ireland, Michaelson, al. (Correct)
Development and Application of Design Transformations in ForSyDe - Ingo Sander Axel (2003) (Correct)
Higher-Level Techniques for Hardware Description and Synthesis - Mycroft, Sharp (Correct)
Similar documents (at the sentence level):
5.7%: Hardware/Software Co-Design using Functional Languages - Mycroft, Sharp (2001) (Correct)
Active bibliography (related documents): More All
0.6: The FLaSH Project: Resource-Aware Synthesis of Declarative.. - Mycroft, Sharp (2000) (Correct)
0.1: Hardware/Software Co-Design Using Functional Languages - Mycroft, Sharp (2001) (Correct)
0.1: The FLaSH Compiler: Efficient Circuits from Functional.. - Sharp, Mycroft (2000) (Correct)
Similar documents based on text: More All
1.0: Hardware Synthesis using SAFL and Application to Processor Design - Mycroft, Sharp (2001) (Correct)
0.7: A Higher-Level Language for Hardware Synthesis - Sharp, Mycroft (2001) (Correct)
0.7: A Framework for Audio Analysis Based on Classification and.. - Tzanetakis, Cook (1999) (Correct)
Related documents from co-citation: More All
8: A Statically Allocated Parallel Functional Language - Mycroft, Sharp - 2000
7: Lava: Hardware Description in Haskell (context) - Bjesse, Claessen et al. - 1998
7: a novel hardware description language and its translation to VHDL (context) - Li, Leeser - 2000
BibTeX entry: (Update)
MYCROFT, A., AND SHARP, R. Hardware/software co-design using functional languages. In Proceedings of TACAS (2001. http://citeseer.ist.psu.edu/article/mycroft00hardwaresoftware.html More
@inproceedings{ mycroft01hardwaresoftware,
author = "Alan Mycroft and Richard Sharp",
title = "Hardware/Software Co-Design Using Functional Languages",
booktitle = "Tools and Algorithms for Construction and Analysis of Systems",
pages = "236--251",
year = "2001",
url = "citeseer.ist.psu.edu/article/mycroft00hardwaresoftware.html" }
Citations (may not include all citations):46 Compiling Occam into FieldProgrammable Gate Arrays - Page, Luk
29 A functional abstract machine (context) - Cardelli
15 Computer Journal (context) - Landin
8 on LISP and Functional Programming (context) - Sheeran, muFP - 1984
8 Generating netlists from executable circuit specications in .. - O'Donnell - 1993
2 Presented at the September'93 International Workshop on FPGA.. (context) - Page
1 Lava: Hardware Description in Haskell (context) - Sheeran - 1999
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.cl.cam.ac.uk/users/am/papers/): More
Optimising Compilation - Mycroft, Norman (1992) (Correct)
Type-Based Decompilation - Mycroft (1999) (Correct)
Logical and Operational Methods in the Analysis of .. - Nielson, Cousot.. (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC