Definition of a hardware description language for reversible circuits.
Introduction of a synthesis methodology which realizes a corresponding description as a reversible circuit.
Introduction of refinements of the synthesis methodology with respect to different cost metrics.
Evaluation and case studies of the hardware description language as well as the synthesis results.