T-Ruby A tool for handling Ruby expressions

Abstract:  This report describes Version 2.4 of a tool for parsing and typechecking expressions in the relational VLSI description language Ruby, and for rewriting them according to previously defined equivalences as part of a synthesis process. The tool also offers facilities for translating an implementable class of Ruby expressions into VHDL with a view to subsequent synthesis into VLSI circuits, and for simulating the behaviour of the corresponding relations. i Acknowledgements The work described in this report has been supported by the Danish Technical Research Council. The author would like to thank Lars Rossen, Ole Rasmussen and Ole Sandum for many useful discussions about constructing tools for Ruby. The rewriting facilities in the system were developed by Ole Rasmussen, and the VHDL translator by Ole Sandum and Peder M?ller, originally as part of their M.Sc. projects, and their conscientious work, both during their projects and afterwards, cannot be too fully acknowledged. ii Conte...