WoTUG - The place for concurrent processes

Paper Details

%T An Automatic Translation of CSP to Handel\-C
%A Jonathan D. Phillips, G. S. Stiles
%E Ian R. East, David Duce, Mark Green, Jeremy M. R. Martin, Peter H. Welch
%B Communicating Process Architectures 2004
%X We present tools that convert a subset of CSP into Handel\-C
   code. Handel\-C is similar to the standard C programming
   language, and can be itself converted to produce files to
   program an FPGA. We thus now have a process that can
   directly generate hardware from a verified high\-level
   description. The CSP to Handel\-C translator makes use of
   the Lex and Yacc programming tools. The Handel\-C code
   produced is functional, but not necessarily optimized for
   all situations. The translator has been tested using several
   CSP scripts of varying complexity. The functionality of the
   resulting Handel\-C programs has been verified with
   simulations, and two scripts were further checked with
   successful implementations on an FPGA.

If you have any comments on this database, including inaccuracies, requests to remove or add information, or suggestions for improvement, the WoTUG web team are happy to hear of them. We will do our best to resolve problems to everyone's satisfaction.

Copyright for the papers presented in this database normally resides with the authors; please contact them directly for more information. Addresses are normally presented in the full paper.

Pages © WoTUG, or the indicated author. All Rights Reserved.
Comments on these web pages should be addressed to: www at wotug.org

Valid HTML 4.01!