db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"<br>
db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"<br>

%T An Automatic Translation of CSP to Handel\-C
db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"<br>
%A  Jonathan D. Phillips,  G. S. Stiles
db_connect: Could not connect to paper db at "wotug@dragon.kent.ac.uk"<br>
%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.