Constructing hardware-software systems from a single description

This publication has 12 references indexed in Scilit:

• Towards a provably correct hardware implementation of occam
  Published by Springer Nature ,2005
• An approach to verifiable compiling specification and prototyping
  Published by Springer Nature ,2005
• Towards a declarative framework for hardware-software codesign
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• The VLSI-programming language Tangram and its translation into handshake circuits
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Using reconfigurable hardware to speed up product development and performance
  Published by Springer Nature ,1995
• Hardware Compilation
  Published by Elsevier ,1994
• Design and verification of a highly concurrent machine
  Microprocessors and Microsystems, 1992
• Refinement algebra proves correctness of compilation
  Published by Springer Nature ,1992
• The laws of OCCAM programming
  Theoretical Computer Science, 1988
• Communicating process architecture: Transputers and occam
  Published by Springer Nature ,1987