Documentation Files in RevLib are distinguished between specifications given in the HDL SyReC, reversible functions or embeddings of irreversible functions, as well as reversible circuits. 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) <<