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

back