John Matthews, Byron Cook, John Launchbury  Home/Search
Context Related
| ogi.edu/PacSoft/projects...hawkIntro.ps 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: ogi.edu/~johnm/ (more) Homepages: J.Matthews |
Rate this article:      (best)Comment on this article |
Abstract: Modern microprocessors require an immense investment of time and effort to create and verify, from the high-level architectural design downwards. We are exploring ways to increase the productivity of design engineers by creating a domain-specific language for specifying and simulating processor architectures. We believe that the structuring principles used in modern functional programming languages, such as static typing, parametric polymorphism, first-class functions, and lazy evaluation... (Update)
Cited by: More
Synthesis of Operation-Centric Hardware Descriptions - James Hoe Dept (2000) (Correct)
Higher-Level Techniques for Hardware Description and Synthesis - Mycroft, Sharp (Correct)
A Reflective Functional Language for Hardware Design and.. - Grundy, Melham, O'leary (2003) (Correct)
Similar documents (at the sentence level):
62.4%: Microprocessor Specification in Hawk - Matthews, Cook, Launchbury (1998) (Correct)
Active bibliography (related documents): More All
0.7: Specifying superscalar microprocessors in Hawk - Cook, Launchbury, Matthews (1998) (Correct)
0.2: Gate Level Description of Synchronous Hardware and Automatic.. - Bjesse (2001) (Correct)
0.2: Lava: Hardware Design in Haskell - Bjesse, Claessen, Sheeran (1998) (Correct)
Similar documents based on text: More All
0.1: Contact Addresses: - David Hawk New (Correct)
0.1: Top-level Refinement in Processor Verification - Krstic, Cook, Launchbury.. (Correct)
0.1: Dynamic Allocation Of Datapath Resources For Low Power - Ponomarev, Kucuk, Ghose (2001) (Correct)
Related documents from co-citation: More All
7: Lava -- hardware design in haskell - Bjesse, Claessen et al. - 1998
5: Proving the correctness of reactive systems using sized types - Hughes, Pareto et al. - 1996
5: The synchronous data-flow programming language LUSTRE - Halbwachs, Caspi et al. - 1991
BibTeX entry: (Update)
J. Matthews, B. Cook, J. Launchburry. Microprocessor specification in Hawk. In International Conference on Computer Languages. Ieee, 1998. http://citeseer.ist.psu.edu/matthews98microprocessor.html More
@inproceedings{ matthews98microprocessor,
author = "John Matthews and Byron Cook and John Launchbury",
title = "Microprocessor Specification in Hawk",
booktitle = "International Conference on Computer Languages",
pages = "90-101",
year = "1998",
url = "citeseer.ist.psu.edu/matthews98microprocessor.html" }
Citations (may not include all citations):1575 Computer Architecture: A Quantitative Approach (context) - Hennessy, Patterson - 1995
294 Isabelle: A Generic Theorem Prover (context) - Paulson - 1994
193 Superscalar Microprocessor Design (context) - Johnson - 1991
161 A short-cut to deforestation - Gill, Launchbury et al. - 1993
89 A gentle introduction to Haskell - Hudak, Peterson et al. - 1997
85 Circuit design in Ruby (context) - Jones, Sheeran - 1990
38 Abstraction mechanisms for hardware verification - Melham - 1988
28 Report on the programming language Haskell: A non-strict (context) - Peterson - 1997
24 A correctness model for pipelined microprocessors - Windley, Coe - 1994
14 Reasoning about pipelines with structural hazards (context) - Aagaard, Leeser - 1994
14 From transistors to computer architecture: Teaching function.. (context) - O'Donnell - 1995
6 HML: An innovative hardware design language and its translat.. (context) - Li, Leeser - 1995
3 Advanced modeling features of MHDL - Barton - 1995
1 Hawk: A hardware specification language (context) - Sinderson - 1997
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.cse.ogi.edu/~johnm/): More
Top-level Refinement in Processor Verification - Krstic, Cook, Launchbury.. (Correct)
Elementary Microarchitecture Algebra: Top-Level Proof of.. - Matthews, Launchbury (1999) (Correct)
Recursive Function Definition over Coinductive Types - Matthews (1999) (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