# This file has been generated using RevKit 1.1 (www.revkit.org) # Command Line: # ./tools/bdd_synthesis.py --filename ex5p_154.pla --realname ex5p_154.real # Based on the approach proposed in R. Wille and R. Drechsler. BDD-based synthesis of reversible logic for large functions. In Design Automation Conf., pages 270-275, 2009. .version 2.0 .numvars 206 .variables x0 x1 x2 x3 x4 x5 x6 x7 x8 x9 x10 x11 x12 x13 x14 x15 x16 x17 x18 x19 x20 x21 x22 x23 x24 x25 x26 x27 x28 x29 x30 x31 x32 x33 x34 x35 x36 x37 x38 x39 x40 x41 x42 x43 x44 x45 x46 x47 x48 x49 x50 x51 x52 x53 x54 x55 x56 x57 x58 x59 x60 x61 x62 x63 x64 x65 x66 x67 x68 x69 x70 x71 x72 x73 x74 x75 x76 x77 x78 x79 x80 x81 x82 x83 x84 x85 x86 x87 x88 x89 x90 x91 x92 x93 x94 x95 x96 x97 x98 x99 x100 x101 x102 x103 x104 x105 x106 x107 x108 x109 x110 x111 x112 x113 x114 x115 x116 x117 x118 x119 x120 x121 x122 x123 x124 x125 x126 x127 x128 x129 x130 x131 x132 x133 x134 x135 x136 x137 x138 x139 x140 x141 x142 x143 x144 x145 x146 x147 x148 x149 x150 x151 x152 x153 x154 x155 x156 x157 x158 x159 x160 x161 x162 x163 x164 x165 x166 x167 x168 x169 x170 x171 x172 x173 x174 x175 x176 x177 x178 x179 x180 x181 x182 x183 x184 x185 x186 x187 x188 x189 x190 x191 x192 x193 x194 x195 x196 x197 x198 x199 x200 x201 x202 x203 x204 x205 .inputs x0 x1 x2 x3 x4 x5 x6 x7 0 0 0 0 0 1 0 1 1 0 0 1 1 0 0 1 1 0 1 1 1 0 0 0 1 1 0 0 0 1 0 1 0 1 1 0 1 1 1 0 0 1 0 1 1 0 1 1 0 0 1 1 1 0 0 0 0 0 0 1 0 1 0 1 1 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 1 1 0 1 1 1 1 0 0 0 0 0 0 0 1 1 0 0 1 1 0 0 0 0 1 0 0 0 0 1 1 0 1 0 0 0 0 0 0 1 0 1 0 0 1 0 0 0 0 0 0 0 0 1 0 0 1 0 1 0 0 0 0 0 1 0 0 0 0 0 0 1 1 0 0 1 0 0 1 1 0 0 0 1 0 1 0 0 0 1 1 1 0 0 1 1 0 0 0 1 1 1 1 1 1 0 1 1 0 0 1 0 1 1 1 1 1 .outputs g g g g g g g g g f0 g f1 g g f2 f3 g g g f4 f5 g g g g f6 g g g g g f7 g f8 g g g g f9 g f10 f11 g f60 g f12 g g f13 g g f14 g f15 f16 g g g f17 g g f18 f35 f44 f19 g g f20 g f21 g f22 g g g f23 g g g g f24 g g g g f25 f59 g g f26 g f27 f58 g f28 g g g g g f29 g g g f30 g g g g g f31 g g g f38 f32 g g g f33 g g g g g g f34 g f36 g g g f37 g g g g g g g f39 g f43 g f40 g g f41 g g f42 g g g g g g g g g g f45 g g f57 g f46 f47 g g f48 g g f49 g g f50 g g g g f51 g g g g f52 g g g g f53 g f54 g g f55 g g g f56 g g g f61 f62 .constants --------000001011001100110111000110001010110111001011011001110000001010111000000010000001110111100000001100110000100001101000000101001000000001001010000010000001100100110001010001110011000111111011001011111 .garbage 111111111-1-11--111--1111-11111-1-1111-1--1-1-11-11-1--111-11----11-1-1-111-1111-1111--11-1--1-11111-111-11111-111--111-111111-1-111-1111111-1-1-11-11-1111111111-11-1--11-11-11-1111-1111-1111-1-11-111-111-- .begin t2 x6 x8 t3 x4 x6 x8 t2 x4 x8 t2 x5 x9 t3 x5 x8 x9 t2 x8 x9 t2 x7 x10 t3 x6 x7 x10 t2 x6 x10 t2 x5 x11 t3 x5 x10 x11 t2 x10 x11 t2 x7 x12 t3 x7 x8 x12 t2 x8 x12 t3 x5 x12 x13 t2 x5 x13 t2 x3 x14 t3 x3 x13 x14 t2 x13 x14 t3 x3 x13 x15 t2 x3 x15 t3 x4 x6 x16 t2 x6 x16 t2 x7 x17 t3 x7 x16 x17 t2 x16 x17 t2 x5 x18 t3 x5 x17 x18 t2 x17 x18 t3 x3 x18 x19 t2 x3 x19 t3 x5 x17 x20 t2 x5 x20 t2 x1 x21 t3 x1 x8 x21 t2 x8 x21 t2 x5 x22 t3 x5 x21 x22 t2 x21 x22 t3 x3 x22 x23 t2 x3 x23 t3 x2 x23 x24 t2 x2 x24 t2 x0 x25 t3 x0 x24 x25 t2 x24 x25 t3 x7 x16 x26 t2 x7 x26 t3 x1 x26 x27 t2 x1 x27 t3 x5 x27 x28 t2 x5 x28 t2 x3 x29 t3 x3 x28 x29 t2 x28 x29 t2 x2 x30 t3 x2 x29 x30 t2 x29 x30 t2 x0 x31 t3 x0 x30 x31 t2 x30 x31 t3 x2 x29 x32 t2 x2 x32 t3 x0 x32 x33 t2 x0 x33 t2 x1 x34 t3 x1 x26 x34 t2 x26 x34 t2 x5 x35 t3 x5 x34 x35 t2 x34 x35 t2 x3 x36 t3 x3 x35 x36 t2 x35 x36 t3 x2 x36 x37 t2 x2 x37 t2 x0 x38 t3 x0 x37 x38 t2 x37 x38 t3 x2 x28 x39 t2 x2 x39 t2 x0 x40 t3 x0 x39 x40 t2 x39 x40 t3 x0 x30 x41 t2 x0 x41 t3 x5 x34 x42 t2 x5 x42 t2 x3 x43 t3 x3 x42 x43 t2 x42 x43 t3 x2 x43 x44 t2 x2 x44 t3 x0 x44 x45 t2 x0 x45 t3 x3 x28 x46 t2 x3 x46 t2 x2 x47 t3 x2 x46 x47 t2 x46 x47 t2 x0 x48 t3 x0 x47 x48 t2 x47 x48 t3 x3 x42 x49 t2 x3 x49 t2 x2 x50 t3 x2 x49 x50 t2 x49 x50 t3 x0 x50 x51 t2 x0 x51 t3 x2 x46 x52 t2 x2 x52 t2 x0 x53 t3 x0 x52 x53 t2 x52 x53 t3 x0 x47 x54 t2 x0 x54 t3 x1 x4 x55 t2 x4 x55 t2 x5 x56 t3 x5 x55 x56 t2 x55 x56 t2 x2 x57 t3 x2 x56 x57 t2 x56 x57 t3 x0 x57 x58 t2 x0 x58 t3 x3 x56 x59 t2 x3 x59 t3 x2 x59 x60 t2 x2 x60 t2 x0 x61 t3 x0 x60 x61 t2 x60 x61 t2 x3 x62 t3 x3 x55 x62 t2 x55 x62 t2 x2 x63 t3 x2 x62 x63 t2 x62 x63 t2 x0 x64 t3 x0 x63 x64 t2 x63 x64 t2 x3 x65 t3 x3 x22 x65 t2 x22 x65 t2 x2 x66 t3 x2 x65 x66 t2 x65 x66 t3 x0 x66 x67 t2 x0 x67 t2 x2 x68 t3 x2 x23 x68 t2 x23 x68 t3 x0 x68 x69 t2 x0 x69 t2 x2 x70 t3 x2 x35 x70 t2 x35 x70 t3 x0 x70 x71 t2 x0 x71 t3 x1 x5 x72 t2 x5 x72 t3 x3 x72 x73 t2 x3 x73 t2 x2 x74 t3 x2 x73 x74 t2 x73 x74 t2 x0 x75 t3 x0 x74 x75 t2 x74 x75 t2 x1 x76 t3 x1 x17 x76 t2 x17 x76 t2 x5 x77 t3 x5 x76 x77 t2 x76 x77 t2 x3 x78 t3 x3 x77 x78 t2 x77 x78 t2 x2 x79 t3 x2 x78 x79 t2 x78 x79 t2 x0 x80 t3 x0 x79 x80 t2 x79 x80 t3 x1 x17 x81 t2 x1 x81 t2 x5 x82 t3 x5 x81 x82 t2 x81 x82 t2 x3 x83 t3 x3 x82 x83 t2 x82 x83 t2 x2 x84 t3 x2 x83 x84 t2 x83 x84 t2 x0 x85 t3 x0 x84 x85 t2 x84 x85 t2 x5 x86 t3 x5 x26 x86 t2 x26 x86 t2 x3 x87 t3 x3 x86 x87 t2 x86 x87 t3 x2 x87 x88 t2 x2 x88 t3 x0 x88 x89 t2 x0 x89 t3 x2 x83 x90 t2 x2 x90 t2 x0 x91 t3 x0 x90 x91 t2 x90 x91 t3 x3 x35 x92 t2 x3 x92 t3 x2 x92 x93 t2 x2 x93 t3 x0 x93 x94 t2 x0 x94 t3 x7 x8 x95 t2 x7 x95 t2 x1 x96 t3 x1 x95 x96 t2 x95 x96 t2 x5 x97 t3 x5 x96 x97 t2 x96 x97 t2 x3 x98 t3 x3 x97 x98 t2 x97 x98 t2 x2 x99 t3 x2 x98 x99 t2 x98 x99 t2 x0 x100 t3 x0 x99 x100 t2 x99 x100 t2 x5 x101 t3 x5 x27 x101 t2 x27 x101 t2 x3 x102 t3 x3 x101 x102 t2 x101 x102 t3 x2 x102 x103 t2 x2 x103 t3 x0 x103 x104 t2 x0 x104 t2 x21 x105 t3 x5 x55 x105 t3 x5 x21 x105 t2 x2 x106 t3 x2 x105 x106 t2 x105 x106 t3 x5 x55 x107 t2 x5 x107 t3 x3 x107 x108 t2 x3 x108 t2 x3 x109 t3 x3 x107 x109 t2 x107 x109 t2 x109 x110 t3 x2 x108 x110 t3 x2 x109 x110 t2 x110 x106 t3 x0 x106 x110 t2 x107 x111 t3 x3 x105 x111 t3 x3 x107 x111 t2 x2 x112 t3 x2 x111 x112 t2 x111 x112 t3 x3 x55 x113 t2 x3 x113 t2 x78 x114 t3 x2 x113 x114 t3 x2 x78 x114 t2 x114 x115 t3 x0 x112 x115 t3 x0 x114 x115 t2 x34 x116 t3 x5 x27 x116 t3 x5 x34 x116 t2 x26 x117 t3 x5 x27 x117 t3 x5 x26 x117 t2 x117 x116 t3 x3 x116 x117 t3 x2 x117 x118 t2 x2 x118 t3 x0 x118 x119 t2 x0 x119 t2 x4 x120 t3 x7 x8 x120 t3 x4 x7 x120 t3 x1 x120 x121 t2 x120 x121 t2 x121 x122 t3 x5 x12 x122 t3 x5 x121 x122 t2 x5 x123 t3 x5 x121 x123 t2 x121 x123 t2 x123 x122 t3 x3 x122 x123 t2 x123 x124 t3 x2 x15 x124 t3 x2 x123 x124 t2 x77 x125 t3 x3 x13 x125 t3 x3 x77 x125 t2 x15 x126 t3 x2 x125 x126 t3 x2 x15 x126 t2 x126 x124 t3 x0 x124 x126 t2 x2 x127 t3 x2 x107 x127 t2 x107 x127 t2 x62 x108 t3 x2 x108 x62 t2 x62 x127 t3 x0 x127 x62 t3 x2 x78 x128 t2 x2 x128 t2 x128 x57 t3 x0 x57 x128 t2 x17 x129 t3 x1 x5 x129 t3 x5 x17 x129 t2 x3 x130 t2 x1 x130 t3 x3 x129 x130 t3 x1 x3 x130 t2 x130 x131 t3 x2 x19 x131 t3 x2 x130 x131 t2 x19 x132 t3 x0 x131 x132 t3 x0 x19 x132 t3 x1 x16 x133 t2 x16 x133 t2 x133 x134 t3 x5 x55 x134 t3 x5 x133 x134 t2 x55 x135 t3 x3 x134 x135 t3 x3 x55 x135 t2 x2 x136 t3 x2 x135 x136 t2 x135 x136 t2 x114 x136 t3 x0 x136 x114 t2 x34 x137 t3 x5 x12 x137 t3 x5 x34 x137 t2 x35 x138 t3 x3 x137 x138 t3 x3 x35 x138 t2 x138 x139 t3 x2 x15 x139 t3 x2 x138 x139 t2 x15 x140 t3 x0 x139 x140 t3 x0 x15 x140 t2 x105 x87 t3 x2 x87 x105 t2 x8 x141 t3 x4 x7 x141 t3 x7 x8 x141 t3 x1 x141 x142 t2 x141 x142 t2 x142 x143 t3 x5 x55 x143 t3 x5 x142 x143 t2 x3 x144 t3 x3 x143 x144 t2 x143 x144 t2 x144 x113 t3 x2 x113 x144 t2 x144 x105 t3 x0 x105 x144 t2 x3 x145 t2 x1 x145 t3 x3 x72 x145 t3 x1 x3 x145 t2 x2 x146 t3 x2 x145 x146 t2 x145 x146 t3 x0 x146 x147 t2 x0 x147 t2 x13 x148 t3 x3 x137 x148 t3 x3 x13 x148 t2 x137 x149 t3 x2 x148 x149 t3 x2 x137 x149 t2 x13 x150 t3 x0 x149 x150 t3 x0 x13 x150 t2 x26 x151 t3 x5 x12 x151 t3 x5 x26 x151 t2 x151 x137 t3 x3 x137 x151 t2 x16 x152 t3 x4 x7 x152 t3 x7 x16 x152 t1 x152 t3 x1 x152 x12 t3 x1 x12 x152 t3 x1 x17 x153 t2 x17 x153 t2 x153 x154 t3 x5 x152 x154 t3 x5 x153 x154 t2 x154 x151 t3 x2 x151 x154 t2 x55 x155 t3 x5 x152 x155 t3 x5 x55 x155 t2 x13 x156 t3 x3 x155 x156 t3 x3 x13 x156 t2 x142 x152 t3 x5 x152 x142 t2 x142 x13 t3 x3 x13 x142 t2 x142 x156 t3 x2 x156 x142 t2 x142 x154 t3 x0 x154 x142 t2 x63 x66 t3 x0 x66 x63 t3 x1 x4 x157 t3 x1 x16 x158 t2 x158 x159 t3 x5 x157 x159 t3 x5 x158 x159 t2 x2 x160 t2 x35 x160 t3 x2 x159 x160 t3 x2 x35 x160 t3 x0 x160 x161 t2 x160 x161 t3 x1 x17 x162 t2 x162 x163 t3 x5 x157 x163 t3 x5 x162 x163 t3 x3 x163 x164 t2 x163 x164 t2 x2 x165 t3 x2 x164 x165 t2 x164 x165 t2 x0 x166 t3 x0 x165 x166 t2 x165 x166 t2 x0 x167 t2 x160 x167 t3 x0 x52 x167 t3 x0 x160 x167 t2 x133 x121 t3 x5 x121 x133 t3 x3 x133 x168 t2 x3 x168 t2 x2 x169 t3 x2 x168 x169 t2 x168 x169 t2 x0 x170 t3 x0 x169 x170 t2 x169 x170 t2 x134 x171 t3 x3 x22 x171 t3 x3 x134 x171 t3 x2 x171 x172 t2 x2 x172 t2 x0 x173 t3 x0 x172 x173 t2 x172 x173 t3 x3 x101 x174 t2 x3 x174 t2 x2 x175 t3 x2 x174 x175 t2 x174 x175 t2 x2 x176 t3 x2 x86 x176 t2 x86 x176 t2 x176 x175 t3 x0 x175 x176 t3 x1 x120 x177 t2 x158 x177 t3 x5 x177 x158 t3 x3 x158 x178 t2 x158 x178 t2 x2 x179 t2 x178 x179 t3 x2 x159 x179 t3 x2 x178 x179 t3 x3 x134 x180 t2 x3 x180 t2 x180 x181 t3 x2 x23 x181 t3 x2 x180 x181 t1 x181 t3 x0 x181 x179 t3 x0 x179 x181 t2 x16 x182 t3 x4 x5 x182 t3 x5 x16 x182 t3 x3 x182 x183 t2 x182 x183 t3 x3 x159 x184 t2 x159 x184 t2 x184 x185 t3 x2 x183 x185 t3 x2 x184 x185 t2 x180 x186 t3 x2 x171 x186 t3 x2 x180 x186 t2 x186 x185 t3 x0 x185 x186 t3 x3 x158 x187 t2 x3 x188 t2 x42 x188 t3 x3 x159 x188 t3 x3 x42 x188 t2 x188 x187 t3 x2 x187 x188 t2 x3 x189 t2 x159 x189 t3 x3 x42 x189 t3 x3 x159 x189 t3 x5 x26 x190 t2 x5 x190 t2 x3 x191 t2 x190 x191 t3 x3 x159 x191 t3 x3 x190 x191 t1 x191 t3 x2 x191 x189 t3 x2 x189 x191 t1 x191 t3 x0 x191 x188 t3 x0 x188 x191 t2 x3 x192 t2 x190 x192 t3 x3 x158 x192 t3 x3 x190 x192 t2 x3 x193 t2 x159 x193 t3 x3 x190 x193 t3 x3 x159 x193 t1 x193 t3 x2 x193 x192 t3 x2 x192 x193 t1 x193 t3 x0 x193 x29 t3 x0 x29 x193 t3 x3 x159 x194 t2 x2 x195 t2 x194 x195 t3 x2 x28 x195 t3 x2 x194 x195 t2 x0 x196 t2 x159 x196 t3 x0 x195 x196 t3 x0 x159 x196 t2 x190 x197 t3 x3 x28 x197 t3 x3 x190 x197 t3 x3 x163 x198 t2 x2 x199 t2 x198 x199 t3 x2 x197 x199 t3 x2 x198 x199 t2 x0 x200 t3 x0 x199 x200 t2 x199 x200 t3 x2 x198 x201 t2 x198 x201 t2 x28 x190 t3 x3 x190 x28 t2 x164 x28 t3 x2 x28 x164 t2 x164 x201 t3 x0 x201 x164 t1 x92 t3 x2 x92 x194 t3 x2 x194 x92 t1 x92 t3 x0 x92 x52 t3 x0 x52 x92 t1 x159 t3 x3 x159 x134 t3 x3 x134 x159 t2 x174 x159 t3 x2 x159 x174 t2 x86 x36 t3 x2 x36 x86 t2 x86 x174 t3 x0 x174 x86 t3 x3 x157 x202 t2 x157 x202 t2 x43 x49 t3 x2 x49 x43 t2 x43 x202 t3 x0 x202 x43 t3 x2 x180 x203 t2 x2 x203 t3 x0 x203 x204 t2 x0 x204 t3 x0 x184 x205 t2 x0 x205 t1 x9 t1 x11 t1 x14 t1 x15 t1 x19 t1 x20 t1 x25 t1 x31 t1 x33 t1 x38 t1 x40 t1 x41 t1 x45 t1 x48 t1 x51 t1 x53 t1 x54 t1 x58 t1 x61 t1 x64 t1 x67 t1 x69 t1 x71 t1 x75 t1 x80 t1 x85 t1 x89 t1 x91 t1 x94 t1 x100 t1 x104 t1 x181 t1 x191 .end