Universität Bremen References Cite RevLib Acknowledgements About RevLib


Realizations

In the following, all circuit realizations of this page are listed. If you want to download all realizations at once, click on this link.

Select library:



    Lib. min. gates costs ver. File Pic. Ref. Realizes
1 MCT not proven as minimal 32004 160020 realization was verified Download realization No picture available Sae:2008 Unstructured Reversible Function 4
2 MCT not proven as minimal 26468 132340 realization was verified Download realization No picture available Sae:2008 Unstructured Reversible Function 3
3 MCT not proven as minimal 11554 57770 realization was verified Download realization No picture available Sae:2008 Unstructured Reversible Function 1
4 MCT not proven as minimal 10740 53700 realization was verified Download realization No picture available Sae:2008 Unstructured Reversible Function 6
5 MCT not proven as minimal 10276 51380 realization was verified Download realization No picture available Sae:2008 Unstructured Reversible Function 5
6 MCT not proven as minimal 5030 25150 realization was verified Download realization No picture available Sae:2008 Unstructured Reversible Function 2
7 MCT not proven as minimal 3250 20465 realization was verified Download realization No picture available   Unstructured Reversible Function 2
8 MCT not proven as minimal 2732 128172 realization was verified Download realization No picture available   Unstructured Reversible Function 3
9 MCT not proven as minimal 2674 121716 realization was verified Download realization No picture available   Unstructured Reversible Function 3
10 MCT not proven as minimal 1959 22510 realization was verified Download realization No picture available MDS:2005 Hidden Weighted Bit (over 9 variables)
11 MCT not proven as minimal 1544 44714 realization was verified Download realization No picture available MDS:2005 Hidden Weighted Bit (over 9 variables)
12 MCT not proven as minimal 1541 44665 realization was verified Download realization No picture available MDS:2005 Hidden Weighted Bit (over 9 variables)
13 MCT+P not proven as minimal 1538 44702 realization was verified Download realization No picture available MDS:2005 Hidden Weighted Bit (over 9 variables)
14 MCT+P not proven as minimal 1535 44653 realization was verified Download realization No picture available MDS:2005 Hidden Weighted Bit (over 9 variables)
15 MCT not proven as minimal 1517 48952 realization was verified Download realization No picture available   Unstructured Reversible Function 1
16 MCT not proven as minimal 1487 45855 realization was verified Download realization No picture available   Unstructured Reversible Function 1
17 MCT not proven as minimal 910 73357 realization was verified Download realization No picture available   plus127mod8192
18 MCT not proven as minimal 749 7015 realization was verified Download realization Show realization MDS:2005 Hidden Weighted Bit (over 8 variables)
19 MCT+P not proven as minimal 748 7013 realization was verified Download realization Show realization MDS:2005 Hidden Weighted Bit (over 8 variables)
20 MCT not proven as minimal 638 17027 realization was verified Download realization No picture available   Unstructured Reversible Function 2
21 MCT not proven as minimal 637 16530 realization was verified Download realization Show realization MDS:2005 Hidden Weighted Bit (over 8 variables)
22 MCT+P not proven as minimal 633 16522 realization was verified Download realization Show realization MDS:2005 Hidden Weighted Bit (over 8 variables)
23 MCT not proven as minimal 620 16152 realization was verified Download realization No picture available   Unstructured Reversible Function 2
24 MCT not proven as minimal 614 14699 realization was verified Download realization Show realization MDS:2005 Hidden Weighted Bit (over 8 variables)
25 MCT+P not proven as minimal 610 14691 realization was verified Download realization Show realization MDS:2005 Hidden Weighted Bit (over 8 variables)
26 MCT not proven as minimal 499 24253 realization was verified Download realization No picture available   Unstructured Reversible Function 5
27 MCT not proven as minimal 492 45025 realization was verified Download realization No picture available   plus63mod8192
28 MCT not proven as minimal 429 32539 realization was verified Download realization No picture available   plus63mod4096
29 EQ not proven as minimal 384 384 realization was verified Download realization No picture available D. Michael Miller A 64-bit adder
30 MCT not proven as minimal 331 2611 realization was verified Download realization Show realization MDS:2005 Hidden Weighted Bit (over 7 variables)
31 EQ not proven as minimal 305 305 realization was verified Download realization Show realization MDS:2005 A form of integer adder.
32 MCT not proven as minimal 289 5236 realization was verified Download realization Show realization MDS:2005 Hidden Weighted Bit (over 7 variables)
33 NCT not proven as minimal 256 768 realization was verified Download realization No picture available D. Michael Miller A 64-bit adder
34 MCT not proven as minimal 236 3876 realization was verified Download realization Show realization MDS:2005 Hidden Weighted Bit (over 7 variables)
35 MCT not proven as minimal 210 4368 realization was verified Download realization Show realization MDS:2005 sym9
36 EQ not proven as minimal 192 192 realization was verified Download realization No picture available D. Michael Miller A 32-bit adder
37 MCF not proven as minimal 166 4170 realization was verified Download realization Show realization MDS:2005 Hidden Weighted Bit (over 7 variables)
38 MCT not proven as minimal 132 1831 realization was verified Download realization Show realization MDS:2005 Hamming Code (over 15 variables)
39 NCT not proven as minimal 128 384 realization was verified Download realization No picture available D. Michael Miller A 32-bit adder
40 MCT not proven as minimal 126 1530 realization was verified Download realization Show realization MDS:2005 Hidden Weighted Bit (over 6 variables)
41 NCT not proven as minimal 116 368 realization was verified Download realization Show realization MDS:2005 A form of integer adder.
42 MCT not proven as minimal 109 206 realization was verified Download realization Show realization MDS:2005 Hamming Code (over 15 variables)
43 EQ not proven as minimal 96 96 realization was verified Download realization Show realization D. Michael Miller A 16-bit adder
44 EQ not proven as minimal 74 74 realization was verified Download realization Show realization MDS:2005 0410184
45 MCT not proven as minimal 70 453 realization was verified Download realization Show realization MDS:2005 Hamming Code (over 15 variables)
46 MCF not proven as minimal 65 1171 realization was verified Download realization Show realization MDS:2005 Hidden Weighted Bit (over 6 variables)
47 NCT not proven as minimal 64 192 realization was verified Download realization Show realization D. Michael Miller A 16-bit adder
48 MCT not proven as minimal 55 315 realization was verified Download realization Show realization MDS:2005 Hidden Weighted Bit (over 5 variables)
49 MCT not proven as minimal 48 6063 realization was verified Download realization Show realization MDS:2005 cycle17_3
50 EQ not proven as minimal 48 48 realization was verified Download realization Show realization D. Michael Miller An 8-bit adder
51 NCT not proven as minimal 46 90 realization was verified Download realization Show realization MDS:2005 0410184
52 MCT not proven as minimal 42 142 realization was verified Download realization Show realization MDS:2005 Hidden Weighted Bit (over 6 variables)
53 MCT not proven as minimal 36 777 realization was verified Download realization Show realization MDS:2005 sym6
54 NCT not proven as minimal 32 96 realization was verified Download realization Show realization D. Michael Miller An 8-bit adder
55 MCT not proven as minimal 30 232 realization was verified Download realization Show realization MDS:2005 rd53
56 MCT not proven as minimal 28 119 realization was verified Download realization Show realization MDS:2005 rd53
57 MCT not proven as minimal 28 108 realization was verified Download realization Show realization MDS:2005 sym9
58 MCT+P not proven as minimal 27 117 realization was verified Download realization Show realization MDS:2005 rd53
59 NCT not proven as minimal 25 49 realization was verified Download realization Show realization MDS:2005 Hamming Code (over 7 variables)
60 MCT not proven as minimal 25 65 realization was verified Download realization Show realization D. Michael Miller Ternary Counter
61 MCF not proven as minimal 24 248 realization was verified Download realization Show realization MDS:2005 Hidden Weighted Bit (over 5 variables)
62 MCT not proven as minimal 24 104 realization was verified Download realization Show realization MDS:2005 Hidden Weighted Bit (over 5 variables)
63 MCT not proven as minimal 23 83 realization was verified Download realization Show realization MDS:2005 Hamming Code (over 7 variables)
64 MCT not proven as minimal 21 65 realization was verified Download realization Show realization MDS:2005 Hamming Code (over 7 variables)
65 MCT not proven as minimal 21 125 realization was verified Download realization Show realization MDS:2005 mod5adder
66 MCT+P not proven as minimal 21 98 realization was verified Download realization Show realization MDS:2005 rd84
67 MCT+P not proven as minimal 21 94 realization was verified Download realization Show realization MDS:2005 sym9
68 MCT not proven as minimal 20 72 realization was verified Download realization Show realization MDS:2005 sym6
69 MCT not proven as minimal 20 76 realization was verified Download realization Show realization MDS:2005 rd73
70 NCT not proven as minimal 20 120 realization was verified Download realization Show realization D. Michael Miller Ternary Counter
71 MCT not proven as minimal 19 1202 realization was verified Download realization Show realization MDS:2005 cycle10_2
72 MCT not proven as minimal 18 114 realization was verified Download realization Show realization GAJ:2006 ALU by Gupta et al.
73 MCT not proven as minimal 17 65 realization was verified Download realization Show realization MDS:2005 Hidden Weighted Bit (over 4 variables)
74 MCT not proven as minimal 17 89 realization was verified Download realization Show realization MDM:2005 4 greater than 4
75 MCT not proven as minimal 17 77 realization was verified Download realization Show realization MDS:2005 mod5adder
76 MCT not proven as minimal 16 60 realization was verified Download realization Show realization MMD:2003 4_49
77 MCT+P not proven as minimal 16 63 realization was verified Download realization Show realization   Hidden Weighted Bit (over 4 variables)
78 MCT not proven as minimal 16 77 realization was verified Download realization Show realization MDS:2005 rd53
79 MCT not proven as minimal 16 65 realization was verified Download realization Show realization MDS:2005 rd53
80 MCT not proven as minimal 15 83 realization was verified Download realization Show realization MDS:2005 mod5adder
81 MCT+P not proven as minimal 15 75 realization was verified Download realization Show realization MDS:2005 rd53
82 MCT not proven as minimal 15 112 realization was verified Download realization Show realization MDS:2005 rd84
83 MCT+P not proven as minimal 15 62 realization was verified Download realization Show realization MDS:2005 sym6
84 MCT not proven as minimal 14 58 realization was verified Download realization Show realization MDM:2005 4 greater than 12
85 MCT not proven as minimal 14 34 realization was verified Download realization Show realization MDM:2005 4 greater than 13
86 MCT not proven as minimal 14 86 realization was verified Download realization Show realization   Decod24 with enable
87 MCT+P not proven as minimal 14 64 realization was verified Download realization Show realization MDS:2005 rd73
88 MCT not proven as minimal 14 94 realization was verified Download realization Show realization D. Michael Miller Modulo 8/10 Counter
89 MCT not proven as minimal 13 101 realization was verified Download realization Show realization MDM:2005 ALU by Gupta et al.
90 MCT not proven as minimal 13 29 realization was verified Download realization Show realization MDM:2005 4 greater than 5
91 MCT not proven as minimal 13 53 realization was verified Download realization Show realization MDM:2005 4 greater than 10
92 MCT not proven as minimal 13 45 realization was verified Download realization Show realization   aj-e11
93 MCT not proven as minimal 12 16 realization was verified Download realization Show realization MDS:2005 4_49
94 MCT not proven as minimal 12 16 realization was verified Download realization Show realization MDM:2005 4 greater than 11
95 MCT not proven as minimal 12 128 realization was verified Download realization Show realization MDS:2005 rd53
96 MCT not proven as minimal 12 44 realization was verified Download realization Show realization MDS:2005 rd53
97 MCF not proven as minimal 11 81 realization was verified Download realization Show realization MDS:2005 Hidden Weighted Bit (over 4 variables)
98 MCT proven as minimal 11 23 realization was verified Download realization Show realization WLDG:2008 Hidden Weighted Bit (over 4 variables)
99 MCT not proven as minimal 11 71 realization was verified Download realization Show realization MDM:2005 One-Two-Three Counter
100 EQ proven as minimal 10 10 realization was verified Download realization Show realization GWDD:2008 3_17
101 MCT not proven as minimal 10 54 realization was verified Download realization Show realization   4 greater than 12
102 MCT not proven as minimal 10 30 realization was verified Download realization Show realization   4 greater than 13
103 MCT proven as minimal 10 30 realization was verified Download realization Show realization   aj-e11
104 MCT not proven as minimal 10 58 realization was verified Download realization Show realization D. Michael Miller Modulo 10 Counter
105 MCT not proven as minimal 9 25 realization was verified Download realization Show realization MDS:2005 Check 4 modulo 5
106 EQ proven as minimal 9 9 realization was verified Download realization Show realization GWDD:2008 Decod24
107 EQ proven as minimal 9 9 realization was verified Download realization Show realization GWDD:2008 Decod24
108 EQ proven as minimal 9 9 realization was verified Download realization Show realization GWDD:2008 Decod24
109 EQ proven as minimal 9 9 realization was verified Download realization Show realization GWDD:2008 Decod24
110 MCT not proven as minimal 9 49 realization was verified Download realization Show realization   4 greater than 10
111 MCT not proven as minimal 9 21 realization was verified Download realization Show realization   Decod24 with enable
112 MCT not proven as minimal 9 69 realization was verified Download realization Show realization D. Michael Miller Modulo 8/10 Counter
113 EQ proven as minimal 8 8 realization was verified Download realization Show realization GWDD:2008 Miller gate
114 MCT not proven as minimal 8 24 realization was verified Download realization Show realization MDS:2005 Check 4 modulo 5
115 MCT proven as minimal 8 20 realization was verified Download realization Show realization WG:2007 mod5d2
116 MCT not proven as minimal 8 16 realization was verified Download realization Show realization MDM:2005 mod5d2
117 MCT not proven as minimal 8 12 realization was verified Download realization Show realization   4 greater than 11
118 MCT proven as minimal 8 40 realization was verified Download realization Show realization WG:2007 One-Two-Three Counter
119 MCT proven as minimal 8 36 realization was verified Download realization Show realization WG:2007 One-Two-Three Counter
120 MCT proven as minimal 8 24 realization was verified Download realization Show realization WG:2007 One-Two-Three Counter
121 MCT proven as minimal 8 24 realization was verified Download realization Show realization WG:2007 One-Two-Three Counter
122 MCT+P not proven as minimal 8 120 realization was verified Download realization Show realization MDS:2005 rd53
123 MCT+P not proven as minimal 8 36 realization was verified Download realization Show realization MDS:2005 rd53
124 EQ proven as minimal 7 7 realization was verified Download realization Show realization GWDD:2008 Toffoli (double)
125 EQ proven as minimal 7 7 realization was verified Download realization Show realization GWDD:2008 Fredkin gate
126 MCT proven as minimal 7 15 realization was verified Download realization Show realization WG:2007 ALU by Gupta et al.
127 MCT proven as minimal 7 15 realization was verified Download realization Show realization WLDG:2008 ALU by Gupta et al.
128 MCT proven as minimal 7 39 realization was verified Download realization Show realization WG:2007 ALU by Gupta et al.
129 MCT proven as minimal 7 15 realization was verified Download realization Show realization WLDG:2008 ALU by Gupta et al.
130 MCT proven as minimal 7 19 realization was verified Download realization Show realization WG:2007 ALU by Gupta et al.
131 MCT proven as minimal 7 15 realization was verified Download realization Show realization WLDG:2008 ALU by Gupta et al.
132 MCT proven as minimal 7 31 realization was verified Download realization Show realization WG:2007 ALU by Gupta et al.
133 MCT proven as minimal 7 15 realization was verified Download realization Show realization WLDG:2008 ALU by Gupta et al.
134 MCT proven as minimal 7 35 realization was verified Download realization Show realization WG:2007 Decod24
135 MCT proven as minimal 7 11 realization was verified Download realization Show realization WG:2007 mod5d1
136 MCT not proven as minimal 7 43 realization was verified Download realization Show realization D. Michael Miller Modulo 10 Counter
137 MCT not proven as minimal 6 14 realization was verified Download realization Show realization MMD:2003 3_17
138 MCT proven as minimal 6 14 realization was verified Download realization Show realization WG:2007 3_17
139 MCT+P not proven as minimal 6 19 realization was verified Download realization Show realization MDS:2005 Check 4 modulo 5
140 MCT proven as minimal 6 22 realization was verified Download realization Show realization WG:2007 ALU by Gupta et al.
141 MCT proven as minimal 6 14 realization was verified Download realization Show realization WLDG:2008 ALU by Gupta et al.
142 MCT proven as minimal 6 18 realization was verified Download realization Show realization WG:2007 Decod24
143 MCT proven as minimal 6 22 realization was verified Download realization Show realization WG:2007 Decod24
144 MCT proven as minimal 6 18 realization was verified Download realization Show realization WG:2007 Decod24
145 MCT proven as minimal 6 54 realization was verified Download realization Show realization WG:2007 4 greater than 4
146 MCT proven as minimal 6 34 realization was verified Download realization Show realization WG:2007 4 greater than 10
147 MCT not proven as minimal 6 38 realization was verified Download realization Show realization MDM:2005 4 modulo 7
148 MCT proven as minimal 6 38 realization was verified Download realization Show realization WG:2007 4 modulo 7
149 MCT not proven as minimal 6 62 realization was verified Download realization Show realization   mini-alu
150 EQ proven as minimal 5 5 realization was verified Download realization Show realization Tof:80 Toffoli gate
151 MCT proven as minimal 5 17 realization was verified Download realization Show realization WG:2007 Miller gate
152 MCT not proven as minimal 5 13 realization was verified Download realization Show realization MDS:2005 Check 4 modulo 5
153 MCT proven as minimal 5 9 realization was verified Download realization Show realization WG:2007 Check 4 modulo 5
154 MCT not proven as minimal 5 9 realization was verified Download realization Show realization MDS:2005 Check 4 modulo 5
155 MCT proven as minimal 5 13 realization was verified Download realization Show realization WG:2007 Check 4 modulo 5
156 MCT+P not proven as minimal 5 16 realization was verified Download realization Show realization   Decod24
157 NCT proven as minimal 5 5 realization was verified Download realization Show realization MDS:2005 Graycode (over 6 variables)
158 EQ proven as minimal 5 5 realization was verified Download realization Show realization MDS:2005 Graycode (over 6 variables)
159 MCT proven as minimal 5 13 realization was verified Download realization Show realization WG:2007 mod5mils
160 MCT proven as minimal 5 13 realization was verified Download realization Show realization WG:2007 1-bit Adder / rd32
161 MCT not proven as minimal 5 13 realization was verified Download realization Show realization MDM:2005 mod5mils
162 MCT proven as minimal 5 57 realization was verified Download realization Show realization WG:2007 4 greater than 4
163 MCT proven as minimal 5 21 realization was verified Download realization Show realization WG:2007 4 greater than 5
164 MCT proven as minimal 5 37 realization was verified Download realization Show realization WG:2007 4 greater than 10
165 MCT proven as minimal 5 41 realization was verified Download realization Show realization WG:2007 4 greater than 12
166 MCT proven as minimal 5 45 realization was verified Download realization Show realization WG:2007 4 greater than 12
167 MCT proven as minimal 5 39 realization was verified Download realization Show realization WG:2007 4 modulo 7
168 MCT proven as minimal 5 9 realization was verified Download realization Show realization MDS:2005 Hamming Code (over 3 variables)
169 EQ proven as minimal 4 4 realization was verified Download realization Show realization GWDD:2008 Peres gate
170 MCT+P proven as minimal 4 7 realization was verified Download realization Show realization WLDG:2008 Check 4 modulo 5
171 MCT proven as minimal 4 12 realization was verified Download realization Show realization WG:2007 1-bit Adder / rd32
172 MCT proven as minimal 4 28 realization was verified Download realization Show realization WG:2007 4 greater than 5
173 MCT proven as minimal 4 8 realization was verified Download realization Show realization WG:2007 4 greater than 11
174 MCT proven as minimal 4 16 realization was verified Download realization Show realization WG:2007 4 greater than 13
175 MCT+MCF not proven as minimal 4 10 realization was verified Download realization Show realization MDS:2005 Hamming Code (over 3 variables)
176 MCT not proven as minimal 4 8 realization was verified Download realization Show realization   ex-1
177 MCT proven as minimal 3 15 realization was verified Download realization Show realization WG:2007 Fredkin gate
178 MCT+P not proven as minimal 3 9 realization was verified Download realization Show realization   1-bit Adder / rd32
179 MCT proven as minimal 3 7 realization was verified Download realization Show realization WG:2007 4 greater than 11
180 MCT proven as minimal 3 15 realization was verified Download realization Show realization WG:2007 4 greater than 13
181 MCF proven as minimal 3 21 realization was verified Download realization Show realization MDS:2005 Decod24 with enable
182 MCT proven as minimal 2 10 realization was verified Download realization Show realization RevLib Toffoli (double)
183 MCT proven as minimal 2 6 realization was verified Download realization Show realization WG:2007 Peres gate
184 MCT+P not proven as minimal 2 8 realization was verified Download realization Show realization   1-bit Adder / rd32
185 MCT proven as minimal 1 5 realization was verified Download realization Show realization Tof:80 Toffoli gate
186 MCF proven as minimal 1 7 realization was verified Download realization Show realization FT:82 Fredkin gate
187 P proven as minimal 1 4 realization was verified Download realization Show realization Per:85 Peres gate

legend


 back