John T. O'Donnell  Home/Search
Context Related
| dcs.gla.ac.uk/~jtod...hdreCHDL87.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: dcs.gla.ac.uk/~jtod/publicatio... (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: this paper develops such a scheme, called "hardware description with recursion equations" (abbreviated HDRE and pronounced as hydra). A designer using HDRE may describe a circuit using a simple set of primitive functions written in an underlying general purpose programming language, and the description itself is just a function written in that language. Executing a circuit description function provides its meaning --- its semantic content. (Update)
Context of citations to this paper: More
...to values. It may be very useful to have multiple behaviour functions, emphasising different aspects of the structural description [22,140,162]. For example, a circuit layout could be extracted if the str operator included placement and routing of components. In our opinion a...
.... [31] It may be very useful to have multiple semantic functions emphasising different aspects of the structural description [15, 62, 69]. Embeddings of hardware notations are more powerful but also harder to use than extracting the behaviour directly because one has to...
Cited by: More
Functional Design Using Behavioural and Structural Components - Sharp (2002) (Correct)
Algebra for Digital Design Derivation - August This Is (Correct)
Generating Netlists from Executable Circuit Specifications in a.. - O'Donnell (1992) (Correct)
Active bibliography (related documents): More All
1.0: A Methodology for Formal Hardware Verification, with Application.. - Beatty (1993) (Correct)
0.6: Verifying Parameterized Recursive Circuits Using.. - Hotz, Zhu (1997) (Correct)
0.5: Computer-Based Tools For Regular Array Design - Wayne Luk (1989) (Correct)
Similar documents based on text: More All
0.0: Computation of Localized Post Buckling in Long.. - Lord, Champneys, Hunt (1997) (Correct)
0.0: The Role Of Homoclinic Bifurcations In Understanding The.. - Lord, Champneys (Correct)
0.0: Is Skeletal Planning in Real-World, High-Frequency Domains.. - Miksch, Horn, al. (Correct)
Related documents from co-citation: More All
4: volume 78 of Lecture Notes in Computer Science (context) - Gordon, Milner et al. - 1979
3: Reference manual for the lambda system (context) - Francis, Finn et al. - 1992
2: Department of Computer Science (context) - Cohn, proof et al. - 1978
BibTeX entry: (Update)
John T O'Donnell. Hardware description with recursion equations. In M R Barbacci and C J Koomen, editors, CHDL 87: 8th International Symposium on Computer Hardware Description Languages and Their Applications, pages 363--382. IFIP WG 10.2, North Holland, 1987. http://citeseer.ist.psu.edu/odonnell87hardware.html More
@misc{ o'donnell87hardware,
author = "J. O'Donnell",
title = "Hardware description with recursion equations",
text = "John T O'Donnell. Hardware description with recursion equations. In M R
Barbacci and C J Koomen, editors, CHDL 87: 8th International Symposium on
Computer Hardware Description Languages and Their Applications, pages 363--382.
IFIP WG 10.2, North Holland, 1987.",
year = "1987",
url = "citeseer.ist.psu.edu/odonnell87hardware.html" }
Citations (may not include all citations):484 Common Lisp: the Language (context) - Guy - 1984
273 Can Programming be Liberated from the von Neumann Style (context) - John - 1978
221 Introduction to VLSI Systems (context) - Carver, Lynn - 1980
121 Executing Temporal Logic Programs - Ben - 1986
81 Why higher-order logic is a good formalism for specifying an.. (context) - Mike - 1986
38 Synthesis of Digital Designs from Recursion Equations (context) - Steven - 1984
30 The Standard ML Core Language (context) - Robin - 1984
21 Functional Geometry (context) - Peter - 1982
13 Proving a Computer Correct (context) - Mike
13 Revised 3 Report on the Algorithmic Language Scheme (context) - Jonathan, William - 1986
13 Designing Regular Array Architectures using Higher Order Fun.. (context) - Mary - 1985
10 Application and Implementation (context) - Peter, Programming - 1980
8 Recursive Implementation of Optimal Time VLSI Integer Multip.. (context) - Luk, Vuillemin - 1983
6 Technical Report No (context) - Mike
5 FP --- An Algebraic VLSI Design Language (context) - Mary - 1983
4 Applicative Programming and Digital Design (context) - Steven - 1984
4 Digital Design in a Functional Calculus (context) - Steven - 1985
3 An Architecture that Efficiently Updates Associative Aggrega.. (context) - John - 1985
2 Hardware Description Languages: Some Recent Developments (context) - Davie - 1986
2 VLSI Silicon Compilation and the Art of Automatic Microchip .. (context) - Ronald - 1983
2 Current Work on the Semantics of Digital Systems (context) - Raymond - 1986
2 Escher---A Geometrical Layout System for Recursively Defined.. (context) - Edmund, Yulin - 1985
2 FP: An Environment for the Multi-level Specification, Analys.. (context) - Dorab, Martine et al. - 1985
2 Circuits and Systems: Implementing Communication with Stream.. (context) - Steven - 1982
1 SASL Reference Manual (context) - David - 1979
1 A Systolic Associative LISP Computer Architecture with Incre.. (context) - John - 1981
1 An efficient architecture for implementing sparse array vari.. (context) - John - 1985
1 Daisy Language Summary (context) - Steven
1 muFP, A Language for VLSI Design (context) - Mary - 1984
1 Daisy 1.0 Reference Manual (context) - Anne - 1981
1 Structural and behavioral description of digital systems (context) - Mario - 1984
1 A Very Simple Model of Sequential Behavior of nMOS (context) - Mike - 1981
1 Functional Combination (context) - Daniel, Wise - 1978
Documents on the same site (http://www.dcs.gla.ac.uk/~jtod/publications/): More
Functional Microprogramming for a Data Parallel Architecture - O'Donnell (Correct)
A Case Study in Parallel Program Derivation: the Heat Equation.. - O'Donnell (1994) (Correct)
Generating Netlists from Executable Circuit Specifications in a.. - O'Donnell (1992) (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