RevLib is an online resource for benchmarks within the domain of reversible and quantum circuit design
Universität Bremen References Cite RevLib Acknowledgements About RevLib
Functions


In total, 154 functions are available at RevLib. You can download all functions at once using the following link:
Download all functions
Alternatively, single access to every function (including a description as well as respective circuit realizations) is provided below.

Quantum gates
Worst Cases
ALUs
Encoding Functions
Arithmetic Functions
Misc.
Symmetric Functions
HDL (SyReC)
 
Quantum gates
Functions describing single gates like Toffoli, Fredkin, and Peres or sequences of them. This category is used to show how these gates can be realized with elementary quantum gates.
Fredkin gate (3 circuit realizations)
Miller gate (2 circuit realizations)
Peres gate (3 circuit realizations)
Toffoli (double) (2 circuit realizations)
Toffoli gate (2 circuit realizations)
   
Worst Cases
Functions describing worst case scenarios for several synthesis algorithms.
3_17 (3 circuit realizations)
4_49 (2 circuit realizations)
Hidden Weighted Bit (over 4 variables) (4 circuit realizations)
Hidden Weighted Bit (over 5 variables) (4 circuit realizations)
Hidden Weighted Bit (over 6 variables) (4 circuit realizations)
Hidden Weighted Bit (over 7 variables) (5 circuit realizations)
Hidden Weighted Bit (over 8 variables) (7 circuit realizations)
Hidden Weighted Bit (over 9 variables) (6 circuit realizations)
   
ALUs
A collection of some Arithmetic Logic Units.
ALU by Gupta et al. (13 circuit realizations)
alu1 (1 circuit realizations)
alu2 (1 circuit realizations)
alu3 (1 circuit realizations)
alu4 (1 circuit realizations)
mini-alu (2 circuit realizations)
   
Encoding Functions
A collection of some encoding functions.
decod (1 circuit realizations)
Decod24 (10 circuit realizations)
Decod24 with enable (3 circuit realizations)
Graycode (over 6 variables) (2 circuit realizations)
Hamming Code (over 15 variables) (4 circuit realizations)
Hamming Code (over 3 variables) (2 circuit realizations)
Hamming Code (over 7 variables) (4 circuit realizations)
mux (1 circuit realizations)
   
Arithmetic Functions
A collection of some arithmetic functions.
0410184 (2 circuit realizations)
1-bit Adder / rd32 (7 circuit realizations)
4 greater than 10 (4 circuit realizations)
4 greater than 11 (4 circuit realizations)
4 greater than 12 (4 circuit realizations)
4 greater than 13 (4 circuit realizations)
4 greater than 4 (3 circuit realizations)
4 greater than 5 (3 circuit realizations)
4 modulo 7 (3 circuit realizations)
Check 4 modulo 5 (9 circuit realizations)
dist (1 circuit realizations)
frg1 (1 circuit realizations)
frg2 (1 circuit realizations)
in0 (1 circuit realizations)
majority (1 circuit realizations)
max46 (1 circuit realizations)
mlp4 (1 circuit realizations)
mod5adder (4 circuit realizations)
mod5d1 (1 circuit realizations)
mod5d2 (2 circuit realizations)
mod5mils (2 circuit realizations)
Modulo 10 Counter (2 circuit realizations)
Modulo 8/10 Counter (2 circuit realizations)
One-Two-Three Counter (5 circuit realizations)
parity (1 circuit realizations)
plus127mod8192 (2 circuit realizations)
plus63mod4096 (2 circuit realizations)
plus63mod8192 (2 circuit realizations)
radd (1 circuit realizations)
rd53 (12 circuit realizations)
rd73 (4 circuit realizations)
rd84 (4 circuit realizations)
root (1 circuit realizations)
seq (1 circuit realizations)
sqn (1 circuit realizations)
sqr6 (1 circuit realizations)
sqrt8 (1 circuit realizations)
squar5 (1 circuit realizations)
table3 (1 circuit realizations)
Ternary Counter (2 circuit realizations)
x2 (1 circuit realizations)
xor5 (1 circuit realizations)
z4 (1 circuit realizations)
z4ml (1 circuit realizations)
   
Misc.
Miscellaneous functions
5xp1 (1 circuit realizations)
9symml (1 circuit realizations)
add6 (1 circuit realizations)
adr4 (1 circuit realizations)
aj-e11 (2 circuit realizations)
apex2 (1 circuit realizations)
apex4 (1 circuit realizations)
apex5 (1 circuit realizations)
apla (1 circuit realizations)
bw (1 circuit realizations)
C17 (1 circuit realizations)
C7552 (1 circuit realizations)
clip (1 circuit realizations)
cm150a (1 circuit realizations)
cm151a (1 circuit realizations)
cm152a (1 circuit realizations)
cm163a (1 circuit realizations)
cm42a (1 circuit realizations)
cm82a (1 circuit realizations)
cm85a (1 circuit realizations)
cmb (1 circuit realizations)
co14 (1 circuit realizations)
con1 (1 circuit realizations)
cordic (1 circuit realizations)
cps (1 circuit realizations)
cu (1 circuit realizations)
cycle10_2 (2 circuit realizations)
dc1 (1 circuit realizations)
dc2 (1 circuit realizations)
dk17 (1 circuit realizations)
dk27 (1 circuit realizations)
e64 (1 circuit realizations)
ex-1 (1 circuit realizations)
ex1 (1 circuit realizations)
ex1010 (1 circuit realizations)
ex2 (1 circuit realizations)
ex3 (1 circuit realizations)
ex5p (1 circuit realizations)
example2 (1 circuit realizations)
f2 (1 circuit realizations)
f51m (1 circuit realizations)
inc (1 circuit realizations)
life (1 circuit realizations)
misex1 (1 circuit realizations)
misex3 (1 circuit realizations)
misex3c (1 circuit realizations)
pcler8 (1 circuit realizations)
pdc (1 circuit realizations)
pm1 (1 circuit realizations)
ryy6 (1 circuit realizations)
Sample Function (3 circuit realizations)
sao2 (1 circuit realizations)
spla (1 circuit realizations)
t481 (1 circuit realizations)
tial (1 circuit realizations)
Unstructured Reversible Function 1 (4 circuit realizations)
Unstructured Reversible Function 2 (5 circuit realizations)
Unstructured Reversible Function 3 (4 circuit realizations)
Unstructured Reversible Function 4 (1 circuit realizations)
Unstructured Reversible Function 5 (3 circuit realizations)
Unstructured Reversible Function 6 (2 circuit realizations)
wim (1 circuit realizations)
   
Symmetric Functions
A couple of symmetric functions.
sym10 (1 circuit realizations)
sym6 (4 circuit realizations)
sym9 (5 circuit realizations)
   
HDL (SyReC)
Circuits provided and obtained by the Hardware Description Language SyReC (proposed in [WOD:2010]). For more details on the SyReC language, see the RevLib documentation.
ALU (14 circuit realizations)
Arbiter (with 8 clients) (2 circuit realizations)
Average of 16 (1 circuit realizations)
Average of 8 (1 circuit realizations)
Bubblesort circuit (12 circuit realizations)
CPU ALU over 16 bit (6 circuit realizations)
CPU ALU over 32 bit (6 circuit realizations)
CPU control unit (6 circuit realizations)
CPU program counter (6 circuit realizations)
CPU register bench (12 circuit realizations)
Flattened ALU (12 circuit realizations)
Hierarchical circuit (12 circuit realizations)
LU (2 circuit realizations)
Multiple statements (12 circuit realizations)
Nested control structure (12 circuit realizations)
Nested control structure (larger) (12 circuit realizations)
Simple ALU (14 circuit realizations)
Various operations (12 circuit realizations)
   



 back