Specification-driven Design of Custom Hardware in HOP-Reference-Cited by-同舟云学术

Specification-driven Design of Custom Hardware in HOP

Published:1989 Issue: Volume: Page:128-170
ISSN:
Container-title:Current Trends in Hardware Verification and Automated Theorem Proving
language:
Short-container-title:

Author:

Gopalakrishnan Ganesh C.,Fujimoto Richard M.,Akella Venkatesh,Mani N. S.,Smith Kevin N.

Publisher

Springer New York

Link

http://link.springer.com/content/pdf/10.1007/978-1-4612-3658-0_3.pdf

Reference45 articles.

1. T.S. Anantharaman, E.M. Clarke, M.J. Foster, and B. Mishra. Compiling Path Expressions into VLSI Circuits. InProceedings of the 12th Symposium on Principles of Programming Languages, ACM, January 1985.

2. Jean-Loup Baer. Modelling Architectural Features With Petri Nets. InPetri Nets: Applications and Relationships to Other Models of Concurrency pages 258-275, Springer Verlag, September 1986. LNCS 255.

3. M. Browne, Edmund Clarke, D. Dill, and B. Mishra. Automatic Verification of Sequential Circuits using Temporal Logic. InProceedings of the Seventh International Conference on Computer Hardware Description Languages, pages 98- 113, North-Holland, 1985.

4. Frederick P. Brooks.The Mythical Man-month. Addison-Wesley, 1975.

5. Randall E. Bryant. A Switch Level Model and Simulator for MOS Digital Systems.IEEE Transactions on Computer, C-33: 160 - 177, February 1984.

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

1. An Algebraic Framework for Data Abstraction in Hardware Description;Designing Correct Circuits;1991

2. Manipulating logical organization with system factorizations;Hardware Specification, Verification and Synthesis: Mathematical Aspects;1990