Richard Sharp  Home/Search
Context Related
| intelresearch.net/people...fmcad.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: intelresearch.net/people/rsha... (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: In previous work we have demonstrated how the functional language SAFL can be used as a behavioural hardware description language. (Update)
Cited by: More
Higher-Level Techniques for Hardware Description and Synthesis - Mycroft, Sharp (Correct)
Similar documents (at the sentence level):
39.6%: Higher-Level Hardware Synthesis - Sharp (2002) (Correct)
20.6%: Functional Design Using Behavioural and Structural Components - Sharp (2002) (Correct)
Active bibliography (related documents): More All
0.5: A Higher-Level Language for Hardware Synthesis - Sharp, Mycroft (2001) (Correct)
0.4: Hardware Synthesis using SAFL and Application to Processor Design - Mycroft, Sharp (2001) (Correct)
0.3: An Embedded Language Approach to Teaching Hardware Compilation - Claessen, Pace (2002) (Correct)
Similar documents based on text: More All
0.2: Abstracting Application-Level Web Security - Scott, Sharp (2001) (Correct)
0.2: Pronto: MobileGateway with publish-subscribe paradigm over.. - Yoneki, Bacon (2003) (Correct)
0.2: Bigraphical Reactive Systems: Basic Theory - Milner (2001) (Correct)
BibTeX entry: (Update)
Sharp, R. Functional Design using Behavioural and Structural Components. Proceedings of the Workshop on Designing Correct Circuits (DCC) 2002. To appear. http://citeseer.ist.psu.edu/article/sharp02functional.html More
@misc{ sharp02functional,
author = "R. Sharp",
title = "Functional Design using Behavioural and Structural Components",
text = "Sharp, R. Functional Design using Behavioural and Structural Components.
Proceedings of the Workshop on Designing Correct Circuits (DCC) 2002. To
appear.",
year = "2002",
url = "citeseer.ist.psu.edu/article/sharp02functional.html" }
Citations (may not include all citations):1074 The Definition of Standard ML (context) - Milner, Tofte et al. - 1997
362 ML for the working programmer (context) - Paulson - 1996
171 Synthesis and Optimization of Digital Circuits (context) - De Micheli - 1994
124 Monads for functional programming - Wadler - 1995
33 Applied cryptography: protocols (context) - Schneier - 1994
24 Microprocessor specification in Hawk - Matthews, Cook et al. - 1998
23 A statically allocated parallel functional language - Mycroft, Sharp - 2000
20 DDD: A transformation system for digital design derivation (context) - Bose - 1991
15 Observable sharing for functional circuit description - Claessen, Sands - 1999
13 Lava: Hardware description in Haskell (context) - Bjesse, Claessen et al. - 1998
13 Hardwaresoftware codesign using functional language - Mycroft, software et al. - 2001
12 Fast DES implementation for FPGAs and its application to a u.. - Kaps, Paar - 1998
9 a language for VLSI design (context) - Sheeran - 1984
8 The design and verification of a sorter core - Classen, Sheeran et al. - 2001
7 Generating netlists from executable circuit specifications i.. (context) - O'Donnell - 1992
5 Hardware description with recursion equations - O'Donnell - 1987
5 Soft scheduling for hardware - Sharp, Mycroft - 2001
3 Higher-level techniques for hardware description and synthes.. - Mycroft, Sharp - 2002
http://www.haskell.org/
Documents on the same site (http://cambridgeweb.cambridge.intel-research.net/people/rsharp/): More
Context-Aware Computing with Sound - David (2003) (Correct)
Higher-Level Hardware Synthesis - Sharp (2002) (Correct)
Higher-Level Techniques for Hardware Description and Synthesis - Mycroft, Sharp (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