Hardware Description with Recursion Equations (1987)
| Venue: | In Proceedings of the IFIP 8th International Symposium on Computer Hardware Description Languages and their Applications |
| Citations: | 8 - 3 self |
BibTeX
@INPROCEEDINGS{O'donnell87hardwaredescription,
author = {John T. O'donnell},
title = {Hardware Description with Recursion Equations},
booktitle = {In Proceedings of the IFIP 8th International Symposium on Computer Hardware Description Languages and their Applications},
year = {1987},
pages = {363--382},
publisher = {North-Holland}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
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.
