Generating Netlists from Executable Circuit Specifications in a Pure Functional Language-Reference-Cited by-同舟云学术

Generating Netlists from Executable Circuit Specifications in a Pure Functional Language

Published:1993 Issue: Volume: Page:178-194
ISSN:1431-1682
Container-title:Functional Programming, Glasgow 1992
language:
Short-container-title:

Author:

O’Donnell John T.

Publisher

Springer London

Link

http://link.springer.com/content/pdf/10.1007/978-1-4471-3215-8_16

Reference6 articles.

1. R. T. Boute, “System semantics: principles, application and implementation,”, ACM Trans. Programming Languages and Systems, 10 1 (Jan. 1988) 118–155.

2. J. T. O’Donnell, “Hardware description with recursion equations,” Proceedings of the IFIP 8th International Symposium on Computer Hardware Description Languages and their Applications, North-Holland (April 1987) 363–382.

3. J. T. O’Donnell, “Hydra: hardware description in a functional language using recursion equations and high order combining forms,” The Fusion of Hardware Design and Verification, G. J. Milne (ed), Amsterdam: North-Holland (1988) 309–328.

4. J. T. O’Donnell and C. V. Hall, “Hydra: A digital circuit design system,” Report SA/TR-4/89, Sabbagh Associates Inc., Bloomington IN (March 1989).

5. M. Sheeran, “Describing hardware algorithms in Ruby,” Declarative Sys-terns, North-Holland (1990) 289–303.

Cited by 5 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. A calculus for hardware description;Journal of Functional Programming;2010-11-19

2. Hardware/Software Co-design Using Functional Languages;Tools and Algorithms for the Construction and Analysis of Systems;2001

3. Combining Stream-Based and State-Based Verification Techniques;Formal Methods in Computer-Aided Design;2000

4. Observable Sharing for Functional Circuit Description;Advances in Computing Science — ASIAN’99;1999

5. A Case Study in Parallel Program Derivation: the Heat Equation Algorithm;Functional Programming, Glasgow 1994;1995