RevLib - An Online resource for Reversible Benchmarks

RevLib is an online resource for benchmarks within the domain of reversible and quantum circuit design

Circuit Realizations

In total, 313 circuit realizations are available at RevLib. You can download all circuits at once using the following link:

Download all circuits

Alternatively, single access to every circuit is provided below. This list can also be refined according to a respective gate library.

	Lib.	lines	gates	costs	File	Pic.	Ref.	Realizes
1	MCT	n.a.	32004	160020			Sae:2008	Unstructured Reversible Function 4
2	MCT	3	26468	132340			Sae:2008	Unstructured Reversible Function 3
3	MCT+MCF	331	15950	1336477			WOD:2010	ALU
4	MCT+MCF	235	15764	1851487			WOD:2010	ALU
5	MCT	3	14075	37631			SZSS:2010	Unstructured Reversible Function 3
6	MCT	12	11554	57770			Sae:2008	Unstructured Reversible Function 1
7	MCT	14	10740	53700			Sae:2008	Unstructured Reversible Function 6
8	MCT	4	10276	51380			Sae:2008	Unstructured Reversible Function 5
9	MCT	12	6761	17030			SZSS:2010	Unstructured Reversible Function 1
10	MCT	1617	5990	19362			WD:2009	seq
11	MCT	n.a.	5376	237963			FTR:2007	apex4
12	MCT	4	5097	14607			SZSS:2010	Unstructured Reversible Function 5
13	MCT	14	5088	17046			SZSS:2010	Unstructured Reversible Function 6
14	MCT	13	5030	25150			Sae:2008	Unstructured Reversible Function 2
15	MCT+MCF	331	4413	27009			WOD:2010	Simple ALU
16	MCT+MCF	235	4227	152852			WOD:2010	Simple ALU
17	MCT	1219	3724	12468			WD:2009	frg2
18	MCT	576	3484	7452			WOD:2010	Average of 16
19	MCT	13	3250	20465				Unstructured Reversible Function 2
20	MCT	13	3144	7111			SZSS:2010	Unstructured Reversible Function 2
21	MCT	1025	2909	10349			WD:2009	apex5
22	MCT	923	2763	8487			WD:2009	cps
23	MCT	3	2732	128172				Unstructured Reversible Function 3
24	MCT	3	2674	121716				Unstructured Reversible Function 3
25	MCT	n.a.	2611	155534			FTR:2007	ex1010
26	MCT	n.a.	2533	349522			FTR:2007	cordic
27	MCT	619	2080	6500			WD:2009	pdc
28	MCT	10	1959	22510			MDS:2005	Hidden Weighted Bit (over 9 variables)
29	MCT	320	1757	3741			WOD:2010	Average of 8
30	MCT	n.a.	1752	199177			FTR:2007	misex3
31	MCT	498	1746	5922			WD:2009	apex2
32	MCT	n.a.	1721	115190			FTR:2007	misex3c
33	MCT	489	1709	5925			WD:2009	spla
34	MCT	10	1544	44714			MDS:2005	Hidden Weighted Bit (over 9 variables)
35	MCT	10	1541	44665			MDS:2005	Hidden Weighted Bit (over 9 variables)
36	MCT+P	10	1538	44702			MDS:2005	Hidden Weighted Bit (over 9 variables)
37	MCT+P	10	1535	44653			MDS:2005	Hidden Weighted Bit (over 9 variables)
38	MCT	12	1517	48952				Unstructured Reversible Function 1
39	MCT	12	1487	45855				Unstructured Reversible Function 1
40	MCT	n.a.	1063	55388			FTR:2007	alu4
41	MCT	n.a.	1041	56203			FTR:2007	tial
42	MCT	n.a.	1012	80039			FTR:2007	table3
43	MCT	4	910	73357				plus127mod8192
44	MCT	12	749	7015			MDS:2005	Hidden Weighted Bit (over 8 variables)
45	MCT+P	12	748	7013			MDS:2005	Hidden Weighted Bit (over 8 variables)
46	MCT	170	699	2275			WD:2009	Hidden Weighted Bit (over 9 variables)
47	MCT	n.a.	663	37400			FTR:2007	f51m
48	MCT	206	647	1843				ex5p
49	MCT	13	638	17027				Unstructured Reversible Function 2
50	MCT	12	637	16530			MDS:2005	Hidden Weighted Bit (over 8 variables)
51	MCT+P	12	633	16522			MDS:2005	Hidden Weighted Bit (over 8 variables)
52	MCT	13	620	16152				Unstructured Reversible Function 2
53	MCT	12	614	14699			MDS:2005	Hidden Weighted Bit (over 8 variables)
54	MCT+P	12	610	14691			MDS:2005	Hidden Weighted Bit (over 8 variables)
55	MCT+MCF	299	571	1223			WOD:2010	LU
56	MCT	4	499	24253				Unstructured Reversible Function 5
57	MCT	16	492	45025				plus63mod8192
58	MCT	112	449	1461			WD:2009	Hidden Weighted Bit (over 8 variables)
59	MCT	5	429	32539				plus63mod4096
60	MCT	195	387	907			WD:2009	e64
61	MCT+MCF	203	385	6562			WOD:2010	LU
62	EQ	15	384	384			D. Michael Miller	A 64-bit adder
63	MCT	n.a.	338	20031			FTR:2007	in0
64	MCT	4	331	2611			MDS:2005	Hidden Weighted Bit (over 7 variables)
65	MCT	87	307	943			WD:2009	bw
66	EQ	15	305	305			MDS:2005	A form of integer adder.
67	MCT	4	289	5236			MDS:2005	Hidden Weighted Bit (over 7 variables)
68	MCT	73	281	909			WD:2009	Hidden Weighted Bit (over 7 variables)
69	NCT	15	256	768			D. Michael Miller	A 64-bit adder
70	MCT	4	236	3876			MDS:2005	Hidden Weighted Bit (over 7 variables)
71	MCT	n.a.	229	6455			FTR:2007	add6
72	MCT	n.a.	212	15265			FTR:2007	frg1
73	MCT	13	210	4368			MDS:2005	sym9
74	MCT	n.a.	194	25866			FTR:2007	sym10
75	EQ	15	192	192			D. Michael Miller	A 32-bit adder
76	MCT	n.a.	185	7601			FTR:2007	dist
77	MCT	n.a.	174	6731			FTR:2007	clip
78	MCF	4	166	4170			MDS:2005	Hidden Weighted Bit (over 7 variables)
79	MCT	46	159	507			WD:2009	Hidden Weighted Bit (over 6 variables)
80	MCT	n.a.	157	5654			FTR:2007	alu2
81	MCT	n.a.	157	5654			FTR:2007	example2
82	MCT	45	153	309			WD:2009	Hamming Code (over 15 variables)
83	MCT	5	132	1831			MDS:2005	Hamming Code (over 15 variables)
84	MCT	n.a.	131	3753			FTR:2007	mlp4
85	MCT	n.a.	129	14193			FTR:2007	9symml
86	MCT	13	129	6941			FTR:2007	sym9
87	NCT	15	128	384			D. Michael Miller	A 32-bit adder
88	MCT	5	126	1530			MDS:2005	Hidden Weighted Bit (over 6 variables)
89	NCT	15	116	368			MDS:2005	A form of integer adder.
90	MCT	15	111	2749			FTR:2007	rd84
91	MCT	5	109	206			MDS:2005	Hamming Code (over 15 variables)
92	MCT	n.a.	107	6766			FTR:2007	life
93	MCT	n.a.	107	5444			FTR:2007	max46
94	MCT	34	104	304			WD:2009	rd84
95	MCT	n.a.	99	3443			FTR:2007	root
96	EQ	15	96	96			D. Michael Miller	A 16-bit adder
97	MCT	32	96	292			WD:2009	mod5adder
98	MCT	n.a.	94	2632			FTR:2007	alu3
99	MCT	n.a.	93	2140			FTR:2007	inc
100	MCT	n.a.	88	7670			FTR:2007	sao2
101	MCT	28	88	276			WD:2009	Hidden Weighted Bit (over 5 variables)
102	MCT	n.a.	85	1430			FTR:2007	5xp1
103	MCT	n.a.	81	1033			FTR:2007	sqr6
104	MCT	n.a.	80	3438			FTR:2007	apla
105	MCT	n.a.	80	1728			FTR:2007	C7552
106	MCT	n.a.	80	1728			FTR:2007	decod
107	MCT	9	80	1143			FTR:2007	rd73
108	MCT+MCF	60	80	224			WOD:2010	Arbiter (with 8 clients)
109	MCT	39	78	202			WD:2009	cycle10_2
110	MCT	n.a.	76	2122			FTR:2007	sqn
111	MCT	n.a.	75	1886			FTR:2007	dc2
112	EQ	n.a.	74	74			MDS:2005	0410184
113	MCT	25	73	217			WD:2009	rd73
114	MCT	5	70	453			MDS:2005	Hamming Code (over 15 variables)
115	MCT	n.a.	69	2252			FTR:2007	cm85a
116	MCF	5	65	1171			MDS:2005	Hidden Weighted Bit (over 6 variables)
117	NCT	15	64	192			D. Michael Miller	A 16-bit adder
118	MCT	27	62	206			WD:2009	sym9
119	MCT	21	61	141			WD:2009	Hamming Code (over 7 variables)
120	MCT	5	55	315			MDS:2005	Hidden Weighted Bit (over 5 variables)
121	MCT	n.a.	55	727			FTR:2007	adr4
122	MCT	n.a.	55	982			FTR:2007	misex1
123	MCT	25	54	98			WD:2009	plus127mod8192
124	MCT	n.a.	53	1096			FTR:2007	cm150a
125	MCT	25	53	97			WD:2009	plus63mod8192
126	MCT	n.a.	49	1559			FTR:2007	dk17
127	MCT	23	49	89			WD:2009	plus63mod4096
128	MCT	15	48	6063			MDS:2005	cycle17_3
129	EQ	15	48	48			D. Michael Miller	An 8-bit adder
130	MCT	n.a.	48	676			FTR:2007	radd
131	MCT	n.a.	48	642			FTR:2007	z4
132	MCT	n.a.	48	642			FTR:2007	z4ml
133	NCT	n.a.	46	90			MDS:2005	0410184
134	MCT	n.a.	45	23802			FTR:2007	in2
135	MCT	n.a.	44	4292			FTR:2007	ryy6
136	MCT	n.a.	43	442			FTR:2007	squar5
137	MCT	5	42	142			MDS:2005	Hidden Weighted Bit (over 6 variables)
138	MCT	n.a.	40	1148			FTR:2007	cu
139	MCT	n.a.	40	622			FTR:2007	sqrt8
140	MCT	n.a.	39	756			FTR:2007	cm163a
141	MCT	n.a.	39	416			FTR:2007	dc1
142	MCT	n.a.	38	625			FTR:2007	x2
143	MCT	7	36	777			MDS:2005	sym6
144	MCT	n.a.	35	377			FTR:2007	cm42a
145	MCT	n.a.	35	1078			FTR:2007	mux
146	MCT	n.a.	35	377			FTR:2007	pm1
147	MCT	13	34	98			WD:2009	rd53
148	MCT	n.a.	33	888			FTR:2007	cm151a
149	NCT	15	32	96			D. Michael Miller	An 8-bit adder
150	MCT	n.a.	32	228			FTR:2007	alu1
151	MCT	n.a.	32	32			FTR:2007	parity
152	MCT	10	30	232			MDS:2005	rd53
153	MCT	n.a.	30	3488			FTR:2007	co14
154	MCT	14	29	93			WD:2009	sym6
155	MCT	10	28	119			MDS:2005	rd53
156	MCT	13	28	108			MDS:2005	sym9
157	MCT+P	10	27	117			MDS:2005	rd53
158	MCT	10	27	265			FTR:2007	rd53
159	NCT	5	25	49			MDS:2005	Hamming Code (over 7 variables)
160	MCT	n.a.	25	65			D. Michael Miller	Ternary Counter
161	MCT	n.a.	25	217			FTR:2007	wim
162	MCF	5	24	248			MDS:2005	Hidden Weighted Bit (over 5 variables)
163	MCT	5	24	104			MDS:2005	Hidden Weighted Bit (over 5 variables)
164	MCT	n.a.	24	248			FTR:2007	dk27
165	MCT+MCF	24	24	746			WOD:2010	Arbiter (with 8 clients)
166	MCT	5	23	83			MDS:2005	Hamming Code (over 7 variables)
167	MCT	n.a.	22	154			FTR:2007	cm82a
168	MCT	n.a.	22	327			FTR:2007	pcler8
169	MCT	5	21	65			MDS:2005	Hamming Code (over 7 variables)
170	MCT	9	21	125			MDS:2005	mod5adder
171	MCT+P	15	21	98			MDS:2005	rd84
172	MCT+P	13	21	94			MDS:2005	sym9
173	MCT	n.a.	21	206			FTR:2007	con1
174	MCT	n.a.	21	237			FTR:2007	t481
175	MCT	7	20	72			MDS:2005	sym6
176	MCT	9	20	76			MDS:2005	rd73
177	NCT	n.a.	20	120			D. Michael Miller	Ternary Counter
178	MCT	6	20	116			FTR:2007	1-bit Adder / rd32
179	MCT	10	20	60			WD:2009	mini-alu
180	MCT	10	19	1202			MDS:2005	cycle10_2
181	MCT	n.a.	19	255			FTR:2007	f2
182	MCT	n.a.	19	155			Zakaria Hamza (2009)	Sample Function
183	MCT	5	18	114			GAJ:2006	ALU by Gupta et al.
184	MCT	n.a.	18	910			FTR:2007	cmb
185	MCT	5	17	65			MDS:2005	Hidden Weighted Bit (over 4 variables)
186	MCT	4	17	89			MDM:2005	4 greater than 4
187	MCT	9	17	77			MDS:2005	mod5adder
188	MCT	4	16	60			MMD:2003	4_49
189	MCT+P	5	16	63				Hidden Weighted Bit (over 4 variables)
190	MCT	10	16	77			MDS:2005	rd53
191	MCT	10	16	65			MDS:2005	rd53
192	MCT	n.a.	16	252			FTR:2007	cm152a
193	MCT	n.a.	16	152			Zakaria Hamza (2009)	Sample Function
194	MCT	9	15	83			MDS:2005	mod5adder
195	MCT+P	10	15	75			MDS:2005	rd53
196	MCT	15	15	112			MDS:2005	rd84
197	MCT+P	7	15	62			MDS:2005	sym6
198	MCT	n.a.	15	141			FTR:2007	ex2
199	MCT	5	14	58			MDM:2005	4 greater than 12
200	MCT	5	14	34			MDM:2005	4 greater than 13
201	MCT	5	14	86				Decod24 with enable
202	MCT+P	9	14	64			MDS:2005	rd73
203	MCT	n.a.	14	94			D. Michael Miller	Modulo 8/10 Counter
204	MCT	5	13	101			MDM:2005	ALU by Gupta et al.
205	MCT	5	13	29			MDM:2005	4 greater than 5
206	MCT	6	13	53			MDM:2005	4 greater than 10
207	MCT	11	13	45				aj-e11
208	MCT	4	12	16			MDS:2005	4_49
209	MCT	7	12	16			MDM:2005	4 greater than 11
210	MCT	10	12	128			MDS:2005	rd53
211	MCT	10	12	44			MDS:2005	rd53
212	MCF	5	11	81			MDS:2005	Hidden Weighted Bit (over 4 variables)
213	MCT	5	11	23			WLDG:2008	Hidden Weighted Bit (over 4 variables)
214	MCT	4	11	71			MDM:2005	One-Two-Three Counter
215	MCT	n.a.	11	51			Zakaria Hamza (2009)	Sample Function
216	MCT	6	11	27			WD:2009	Decod24
217	EQ	3	10	10			GWDD:2008	3_17
218	MCT	5	10	54				4 greater than 12
219	MCT	5	10	30				4 greater than 13
220	MCT	11	10	30				aj-e11
221	MCT	n.a.	10	58			D. Michael Miller	Modulo 10 Counter
222	MCT	5	9	25			MDS:2005	Check 4 modulo 5
223	EQ	5	9	9			GWDD:2008	Decod24
224	EQ	5	9	9			GWDD:2008	Decod24
225	EQ	5	9	9			GWDD:2008	Decod24
226	EQ	5	9	9			GWDD:2008	Decod24
227	MCT	6	9	49				4 greater than 10
228	MCT	5	9	21				Decod24 with enable
229	MCT	n.a.	9	69			D. Michael Miller	Modulo 8/10 Counter
230	MCT	n.a.	9	99			FTR:2007	C17
231	MCT	6	9	29			FTR:2007	1-bit Adder / rd32
232	MCT	7	9	29			WD:2009	ALU by Gupta et al.
233	EQ	3	8	8			GWDD:2008	Miller gate
234	MCT	5	8	24			MDS:2005	Check 4 modulo 5
235	MCT	4	8	20			WG:2007	mod5d2
236	MCT	4	8	16			MDM:2005	mod5d2
237	MCT	7	8	12				4 greater than 11
238	MCT	4	8	40			WG:2007	One-Two-Three Counter
239	MCT	4	8	36			WG:2007	One-Two-Three Counter
240	MCT	4	8	24			WG:2007	One-Two-Three Counter
241	MCT	4	8	24			WG:2007	One-Two-Three Counter
242	MCT+P	10	8	120			MDS:2005	rd53
243	MCT+P	10	8	36			MDS:2005	rd53
244	MCT	n.a.	8	136			FTR:2007	majority
245	MCT	7	8	24			WD:2009	Check 4 modulo 5
246	EQ	4	7	7			GWDD:2008	Toffoli (double)
247	EQ	3	7	7			GWDD:2008	Fredkin gate
248	MCT	5	7	15			WG:2007	ALU by Gupta et al.
249	MCT	5	7	15			WLDG:2008	ALU by Gupta et al.
250	MCT	5	7	39			WG:2007	ALU by Gupta et al.
251	MCT	5	7	15			WLDG:2008	ALU by Gupta et al.
252	MCT	5	7	19			WG:2007	ALU by Gupta et al.
253	MCT	5	7	15			WLDG:2008	ALU by Gupta et al.
254	MCT	5	7	31			WG:2007	ALU by Gupta et al.
255	MCT	5	7	15			WLDG:2008	ALU by Gupta et al.
256	MCT	5	7	35			WG:2007	Decod24
257	MCT	4	7	11			WG:2007	mod5d1
258	MCT	n.a.	7	43			D. Michael Miller	Modulo 10 Counter
259	MCT	n.a.	7	7			FTR:2007	ex1
260	MCT	n.a.	7	79			FTR:2007	ex3
261	MCT	n.a.	7	7			FTR:2007	xor5
262	MCT	3	6	14			MMD:2003	3_17
263	MCT	3	6	14			WG:2007	3_17
264	MCT+P	5	6	19			MDS:2005	Check 4 modulo 5
265	MCT	5	6	22			WG:2007	ALU by Gupta et al.
266	MCT	5	6	14			WLDG:2008	ALU by Gupta et al.
267	MCT	5	6	18			WG:2007	Decod24
268	MCT	5	6	22			WG:2007	Decod24
269	MCT	5	6	18			WG:2007	Decod24
270	MCT	4	6	54			WG:2007	4 greater than 4
271	MCT	6	6	34			WG:2007	4 greater than 10
272	MCT	5	6	38			MDM:2005	4 modulo 7
273	MCT	5	6	38			WG:2007	4 modulo 7
274	MCT	n.a.	6	62				mini-alu
275	MCT	6	6	18			Zakaria Hamza (2009)	1-bit Adder / rd32
276	EQ	3	5	5			Tof:80	Toffoli gate
277	MCT	3	5	17			WG:2007	Miller gate
278	MCT	5	5	13			MDS:2005	Check 4 modulo 5
279	MCT	5	5	9			WG:2007	Check 4 modulo 5
280	MCT	5	5	9			MDS:2005	Check 4 modulo 5
281	MCT	5	5	13			WG:2007	Check 4 modulo 5
282	MCT+P	5	5	16				Decod24
283	NCT	5	5	5			MDS:2005	Graycode (over 6 variables)
284	EQ	5	5	5			MDS:2005	Graycode (over 6 variables)
285	MCT	4	5	13			WG:2007	mod5mils
286	MCT	6	5	13			WG:2007	1-bit Adder / rd32
287	MCT	4	5	13			MDM:2005	mod5mils
288	MCT	4	5	57			WG:2007	4 greater than 4
289	MCT	5	5	21			WG:2007	4 greater than 5
290	MCT	6	5	37			WG:2007	4 greater than 10
291	MCT	5	5	41			WG:2007	4 greater than 12
292	MCT	5	5	45			WG:2007	4 greater than 12
293	MCT	5	5	39			WG:2007	4 modulo 7
294	MCT	4	5	9			MDS:2005	Hamming Code (over 3 variables)
295	EQ	3	4	4			GWDD:2008	Peres gate
296	MCT+P	5	4	7			WLDG:2008	Check 4 modulo 5
297	MCT	6	4	12			WG:2007	1-bit Adder / rd32
298	MCT	5	4	28			WG:2007	4 greater than 5
299	MCT	7	4	8			WG:2007	4 greater than 11
300	MCT	5	4	16			WG:2007	4 greater than 13
301	MCT+MCF	4	4	10			MDS:2005	Hamming Code (over 3 variables)
302	MCT	n.a.	4	8				ex-1
303	MCT	3	3	15			WG:2007	Fredkin gate
304	MCT+P	6	3	9				1-bit Adder / rd32
305	MCT	7	3	7			WG:2007	4 greater than 11
306	MCT	5	3	15			WG:2007	4 greater than 13
307	MCF	5	3	21			MDS:2005	Decod24 with enable
308	MCT	4	2	10			RevLib	Toffoli (double)
309	MCT	3	2	6			WG:2007	Peres gate
310	MCT+P	6	2	8				1-bit Adder / rd32
311	MCT	3	1	5			Tof:80	Toffoli gate
312	MCF	3	1	7			FT:82	Fredkin gate
313	P	3	1	4			Per:85	Peres gate

back