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.