Files in RevLib are distinguished between
For each type, a respective file format is applied. These formats are described in the following pdf-file:
>> Download RevLib Documentation (v2.0.1, pdf, 222 KB) <<
- specifications given in the HDL SyReC,
- reversible functions or embeddings of irreversible functions, as well as
- reversible circuits.