Reversible Logic Synthesis Benchmarks

Home

In addition to the various metrics used by researchers to evaluate the proposed algorithms and models, the specifications of the circuits which used in the experiments are as important as the applied metrics. Since circuit specifications should also be available for future references and they need too much space to be well-defined, putting them in published papers is not possible. The goal of this webpage is to maintain the circuit specifications used by the AUT QDA members.

Reversible Circuit Examples (used by MOSAIC)

The QMatrix A is denoted as A(x₁, x₂, …) where x_i (iÎ[1,2ⁿ]) is the row number of an element with the value of 1 in the i^th column.

Circuits	Specification
1	{1,0,3,2,5,7,4,6}
2	{7,0,1,2,3,4,5,6}
3	{0,1,2,3,4,6,5,7}
4	{0,1,2,4,3,5,6,7}
5	{0,1,2,3,4,5,6,8,7,9,10,11,12,13,14,15}
6	{1,2,3,4,5,6,7,0}
7	{1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,0}
8	{0,7,6,9,4,11,10,13,8,15,14,1,12,3,2,5}
9	{1,2,4,8,0,3,5,6,7,9,10,11,12,13,14,15}
10	{3,11,2,10,0,7,1,6,15,8,14,9,13,5,12,4}
11	{4,6,2,0,15,13,7,5,9,11,3,1,14,12,10,8}
12	{3,6,2,5,7,1,0,4}
13	{1,2,7,5,6,3,0,4}
14	{4,3,0,2,7,5,6,1}
15	{0,1,2,3,4,5,6,27,7,8,9,28,10,29,30,31,11,12,13,16,14,17,18,19,15,20,21,22,23,24,25,26}
16	{16,17,18,3,19,4,5,20,21,6,7,22,8,23,24,9,25,10,11,26,12,27,28,13,14,29,30,15,31,0,1,2}
17	{16,17,18,19,0,20,21,22,23,24,25,11,12,26,27,15,28,13,14,29,8,9,10,30,31,1,2,3,4,5,6,7}
18	{7,5,2,4,6,1,0,3}
19	{6,2,14,13,3,11,10,7,0,5,8,1,15,12,4,9}
20	{9,7,13,10,4,2,14,3,0,12,6,8,15,11,1,5}
21	{6,4,11,0,9,8,12,2,15,5,3,7,10,13,14,1}
22	{13,1,14,0,9,2,15,6,12,8,11,3,4,5,7,10}

NCT-constructible reversible circuits (Cycle-based reversible synthesis algorithm results)

Hidden weighted bit (hwb) functions (source)

The input file format can be found here. Output file format can be found here.

function	circuit
hwb5	download
Hwb6	download
hwb8	download
hwb9	download
hwb10	download
hwb11	download
hwb12	download
hwb13	download
hwb14	download
hwb15	download
hwb16	download

n-th prime functions (source)

function	circuit
nth_prime4_inc	download
nth_prime7_inc	download
nth_prime8_inc	download
nth_prime9_inc	download
nth_prime10_inc	download
nth_prime11_inc	download
nth_prime12_inc	download
nth_prime13_inc	download
nth_prime14_inc	download
nth_prime15_inc	download
nth_prime16_inc	download

Home

Last updated: March 16, 2010.

Author: Mehdi Saeedi