Susan Stepney.
CSP/FDR2 to Handel-C translation .

Technical Report YCS-2003-357, University of York. June 2003.


This report is adapted from a study performed for AWE in 2001 by the author while at Logica. It investigates the feasibility of using the CSP specification language and FDR2 model-checking tool, and Handel-C programming language, in combination, with FDR2 as a front-end specification and proof tool, then automatically translating the formal designs into executable Handel-C. Such an approach could provide a development path from an abstract specification to a correct executable implementation running on an FPGA.

This report contains the following

  author = "Susan Stepney",
  title = "{CSP/FDR2} to {Handel-C} translation",
  institution = "Department of Computer Science, University of York",
  number = "YCS-2002-357",
  month = jun,
  year = 2003