Paper Details

@InProceedings{PhillipsStiles04,
  title = "{A}n {A}utomatic {T}ranslation of {CSP} to {H}andel-{C}",
  author= "Phillips, Jonathan D. and Stiles, G. S.",
  editor= "East, Ian R. and Duce, David and Green, Mark and Martin, Jeremy M. R. and Welch, Peter H.",
  pages = "19--38",
  booktitle= "{C}ommunicating {P}rocess {A}rchitectures 2004",
  isbn= "1 58603 458 8",
  year= "2004",
  month= "sep",
  abstract= "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.