Constructing hardware-software systems from a single description-Reference-Cited by-同舟云学术

Constructing hardware-software systems from a single description

Published:1996-01 Issue:1 Volume:12 Page:87-107
ISSN:0922-5773
Container-title:Journal of VLSI signal processing systems for signal, image and video technology
language:en
Short-container-title:J VLSI Sign Process Syst Sign Image Video Technol

Author:

Page Ian

Publisher

Springer Science and Business Media LLC

Subject

Electrical and Electronic Engineering,Information Systems,Signal Processing

Link

http://link.springer.com/content/pdf/10.1007/BF00936948.pdf

Reference35 articles.

1. C.A.R. Hoare,Communicating, Sequential Processes, International Series in Computer Science, Prentice-Hall, 1985.

2. Inmos,The occam2Programming Manual, Prentice-Hall International, 1988.

3. Erik Brunvard,Translating Concurrent Communicating Prograns into Asynchronous Circuits, Ph.D. dissertation, School of computer Science, Carnegie Mellon University, September 1991.

4. F. Hanna, M. Longley, and N. Daeche, “Formal synthesis of digital systems,”Formal VLSI Specification and Synthesis, L. Claesen (ed.), No. I in VLSI Design Methods, Elsevier-Science, pp. 153–169, 1990.

5. Patrice Bertin, Didier Roncin, and Jean Vuillemin, “Introduction to programmable active memories,” Technical report, DEC Paris Research Laboratory, June 1989.

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

1. Reconfigurable Computing;Wiley Encyclopedia of Electrical and Electronics Engineering;2017-02-15

2. Integrating Reconfigurable Hardware-Based Grid for High Performance Computing;The Scientific World Journal;2015

3. Self-Organizing Computing Systems: Songline Processors;Advanced Information and Knowledge Processing;2013

4. Mechanised wire-wise verification of Handel-C synthesis;Science of Computer Programming;2012-04

5. GCC2Verilog Compiler Toolset for Complete Translation of C Programming Language into Verilog HDL;ETRI Journal;2011-10-04