%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