Researchers are welcome to submit own functions, specifications (embeddings), or circuits to RevLib.
If you wish to publish new benchmarks or reversible synthesis results on this web page,
attach the function specifications and/or the circuit realizations (in the
proposed file format)
in an e-mail to
If you send in new function specifications please add a few words about the function and/or the embedding.
If you send in circuit realizations you are very welcome to write a few
words on how did you achieve your results.