# This file has been generated using RevKit 1.1 (www.revkit.org) # Command Line: # ./tools/bdd_synthesis.py --filename hwb8_64.pla --realname hwb8_64.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 112 .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 .inputs a b c d e f g h 0 0 0 0 1 0 1 1 0 1 1 0 0 0 1 1 1 1 1 1 0 0 1 1 0 0 0 0 1 0 1 1 0 1 0 0 0 0 0 1 0 0 0 0 1 0 1 0 0 0 1 1 0 0 1 0 0 0 0 0 1 1 1 0 1 0 1 0 0 0 0 1 0 1 1 1 0 0 1 0 0 1 0 1 0 0 0 1 0 1 1 0 0 1 0 1 0 1 0 0 0 0 0 0 .outputs g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g h g g g g a g g g g g g g g g g b g g g g g g g g c g g g g g g g g g d g g g g g g g g g g g e g g g g g g g g g g g g g g g g f g g g g .constants --------00001011011000111111001100001011010000010000101000110010000011101010000101110010010100010110010101000000 .garbage 1111111111111111111111111111111111111111111-1111-1111111111-11111111-111111111-11111111111-1111111111111111-11-1 .begin t2 x5 x8 t3 x5 x6 x8 t2 x6 x8 t2 x4 x9 t3 x4 x8 x9 t2 x8 x9 t2 x7 x10 t3 x7 x9 x10 t2 x9 x10 t3 x5 x6 x11 t2 x4 x12 t2 x8 x12 t3 x4 x11 x12 t3 x4 x8 x12 t2 x4 x13 t3 x4 x11 x13 t2 x11 x13 t2 x7 x14 t2 x13 x14 t3 x7 x12 x14 t3 x7 x13 x14 t2 x1 x15 t2 x14 x15 t3 x1 x10 x15 t3 x1 x14 x15 t2 x13 x16 t3 x7 x9 x16 t3 x7 x13 x16 t3 x5 x6 x17 t2 x5 x17 t2 x4 x18 t2 x17 x18 t3 x4 x8 x18 t3 x4 x17 x18 t2 x18 x19 t3 x7 x13 x19 t3 x7 x18 x19 t2 x19 x20 t3 x1 x16 x20 t3 x1 x19 x20 t2 x20 x21 t3 x0 x15 x21 t3 x0 x20 x21 t2 x5 x22 t2 x6 x22 t2 x4 x23 t2 x22 x23 t2 x4 x24 t2 x11 x24 t2 x7 x25 t2 x24 x25 t3 x7 x23 x25 t3 x7 x24 x25 t2 x7 x26 t2 x18 x26 t3 x7 x24 x26 t3 x7 x18 x26 t2 x1 x27 t2 x26 x27 t3 x1 x25 x27 t3 x1 x26 x27 t2 x6 x28 t3 x4 x5 x28 t3 x4 x6 x28 t2 x28 x29 t3 x7 x18 x29 t3 x7 x28 x29 t2 x1 x30 t2 x29 x30 t3 x1 x26 x30 t3 x1 x29 x30 t2 x0 x31 t2 x30 x31 t3 x0 x27 x31 t3 x0 x30 x31 t2 x31 x21 t3 x2 x21 x31 t2 x11 x32 t3 x4 x8 x32 t3 x4 x11 x32 t3 x4 x22 x33 t2 x33 x34 t3 x7 x32 x34 t3 x7 x33 x34 t2 x17 x35 t3 x4 x22 x35 t3 x4 x17 x35 t2 x7 x36 t2 x35 x36 t3 x7 x33 x36 t3 x7 x35 x36 t2 x36 x37 t3 x1 x34 x37 t3 x1 x36 x37 t2 x7 x38 t2 x28 x38 t3 x7 x35 x38 t3 x7 x28 x38 t2 x1 x39 t2 x38 x39 t3 x1 x36 x39 t3 x1 x38 x39 t2 x39 x40 t3 x0 x37 x40 t3 x0 x39 x40 t3 x4 x8 x41 t2 x4 x41 t2 x35 x42 t3 x7 x41 x42 t3 x7 x35 x42 t2 x38 x43 t3 x1 x42 x43 t3 x1 x38 x43 t2 x17 x44 t3 x4 x5 x44 t3 x4 x17 x44 t2 x11 x45 t3 x4 x6 x45 t3 x4 x11 x45 t2 x45 x46 t3 x7 x44 x46 t3 x7 x45 x46 t2 x1 x47 t2 x46 x47 t3 x1 x38 x47 t3 x1 x46 x47 t2 x47 x48 t3 x0 x43 x48 t3 x0 x47 x48 t1 x48 t3 x2 x48 x40 t3 x2 x40 x48 t2 x48 x31 t3 x3 x31 x48 t2 x29 x49 t3 x1 x19 x49 t3 x1 x29 x49 t2 x49 x50 t3 x0 x20 x50 t3 x0 x49 x50 t2 x46 x51 t3 x1 x29 x51 t3 x1 x46 x51 t2 x0 x52 t2 x51 x52 t3 x0 x30 x52 t3 x0 x51 x52 t1 x52 t3 x2 x52 x50 t3 x2 x50 x52 t1 x47 t3 x0 x47 x39 t3 x0 x39 x47 t2 x22 x53 t3 x4 x6 x53 t3 x4 x22 x53 t2 x53 x44 t3 x7 x44 x53 t2 x1 x54 t2 x53 x54 t3 x1 x38 x54 t3 x1 x53 x54 t2 x8 x55 t3 x4 x17 x55 t3 x4 x8 x55 t3 x4 x11 x56 t2 x56 x57 t3 x7 x55 x57 t3 x7 x56 x57 t2 x57 x46 t3 x1 x46 x57 t2 x0 x58 t2 x57 x58 t3 x0 x54 x58 t3 x0 x57 x58 t2 x2 x59 t2 x58 x59 t3 x2 x47 x59 t3 x2 x58 x59 t2 x59 x52 t3 x3 x52 x59 t2 x51 x49 t3 x0 x49 x51 t2 x53 x60 t3 x1 x29 x60 t3 x1 x53 x60 t2 x57 x60 t3 x0 x60 x57 t2 x57 x61 t3 x2 x51 x61 t3 x2 x57 x61 t3 x4 x17 x62 t2 x4 x62 t2 x23 x63 t3 x7 x62 x63 t3 x7 x23 x63 t2 x63 x53 t3 x1 x53 x63 t2 x12 x64 t3 x7 x55 x64 t3 x7 x12 x64 t3 x7 x32 x65 t2 x65 x66 t3 x1 x64 x66 t3 x1 x65 x66 t2 x66 x67 t3 x0 x63 x67 t3 x0 x66 x67 t2 x2 x68 t2 x67 x68 t3 x2 x58 x68 t3 x2 x67 x68 t1 x68 t3 x3 x68 x61 t3 x3 x61 x68 t2 x67 x57 t3 x2 x57 x67 t2 x7 x69 t2 x9 x69 t3 x7 x32 x69 t3 x7 x9 x69 t2 x69 x64 t3 x1 x64 x69 t2 x69 x63 t3 x0 x63 x69 t2 x4 x70 t2 x11 x70 t3 x4 x22 x70 t3 x4 x11 x70 t2 x70 x71 t3 x7 x62 x71 t3 x7 x70 x71 t2 x7 x72 t2 x70 x72 t3 x7 x9 x72 t3 x7 x70 x72 t2 x72 x73 t3 x1 x71 x73 t3 x1 x72 x73 t2 x22 x8 t3 x4 x8 x22 t2 x7 x74 t2 x22 x74 t3 x7 x56 x75 t2 x75 x76 t3 x1 x74 x76 t3 x1 x75 x76 t2 x76 x77 t3 x0 x73 x77 t3 x0 x76 x77 t2 x77 x78 t3 x2 x69 x78 t3 x2 x77 x78 t2 x78 x67 t3 x3 x67 x78 t2 x7 x79 t2 x9 x79 t3 x7 x56 x79 t3 x7 x9 x79 t2 x79 x80 t3 x1 x74 x80 t3 x1 x79 x80 t2 x80 x73 t3 x0 x73 x80 t2 x80 x69 t3 x2 x69 x80 t2 x7 x81 t2 x23 x81 t3 x7 x9 x81 t3 x7 x23 x81 t2 x81 x71 t3 x1 x71 x81 t2 x7 x82 t2 x32 x82 t3 x7 x22 x82 t3 x7 x32 x82 t2 x7 x83 t2 x22 x83 t3 x7 x12 x83 t3 x7 x22 x83 t2 x83 x84 t3 x1 x82 x84 t3 x1 x83 x84 t2 x84 x85 t3 x0 x81 x85 t3 x0 x84 x85 t3 x7 x12 x86 t2 x12 x86 t2 x56 x87 t3 x7 x32 x87 t3 x7 x56 x87 t2 x87 x88 t3 x1 x86 x88 t3 x1 x87 x88 t2 x7 x89 t2 x70 x89 t3 x7 x23 x89 t3 x7 x70 x89 t3 x1 x89 x90 t2 x90 x88 t3 x0 x88 x90 t2 x90 x85 t3 x2 x85 x90 t2 x90 x80 t3 x3 x80 x90 t2 x7 x91 t2 x32 x91 t3 x7 x12 x91 t3 x7 x32 x91 t2 x91 x92 t3 x1 x82 x92 t3 x1 x91 x92 t2 x92 x81 t3 x0 x81 x92 t2 x12 x93 t3 x7 x32 x93 t3 x7 x12 x93 t2 x93 x94 t3 x1 x86 x94 t3 x1 x93 x94 t2 x7 x95 t2 x23 x95 t2 x22 x96 t3 x7 x9 x96 t3 x7 x22 x96 t2 x1 x97 t2 x96 x97 t3 x1 x95 x97 t3 x1 x96 x97 t2 x97 x94 t3 x0 x94 x97 t2 x97 x92 t3 x2 x92 x97 t3 x7 x56 x98 t2 x56 x98 t2 x23 x99 t3 x7 x22 x99 t3 x7 x23 x99 t2 x99 x100 t3 x1 x98 x100 t3 x1 x99 x100 t2 x7 x101 t2 x12 x101 t3 x7 x70 x101 t3 x7 x12 x101 t2 x70 x102 t3 x7 x22 x102 t3 x7 x70 x102 t2 x1 x103 t2 x102 x103 t3 x1 x101 x103 t3 x1 x102 x103 t2 x103 x100 t3 x0 x100 x103 t2 x32 x9 t3 x7 x9 x32 t2 x75 x104 t3 x1 x32 x104 t3 x1 x75 x104 t2 x7 x105 t2 x56 x105 t3 x7 x70 x105 t3 x7 x56 x105 t2 x7 x106 t3 x7 x41 x106 t2 x41 x106 t2 x106 x107 t3 x1 x105 x107 t3 x1 x106 x107 t1 x107 t3 x0 x107 x104 t3 x0 x104 x107 t2 x107 x103 t3 x2 x103 x107 t2 x107 x97 t3 x3 x97 x107 t2 x102 x98 t3 x1 x98 x102 t1 x93 t3 x1 x93 x105 t3 x1 x105 x93 t2 x93 x102 t3 x0 x102 x93 t2 x83 x96 t3 x1 x96 x83 t2 x24 x22 t3 x7 x22 x24 t2 x24 x108 t3 x1 x95 x108 t3 x1 x24 x108 t1 x108 t3 x0 x108 x83 t3 x0 x83 x108 t2 x108 x93 t3 x2 x93 x108 t2 x89 x10 t3 x1 x10 x89 t1 x33 t3 x7 x33 x70 t3 x7 x70 x33 t2 x33 x109 t3 x1 x91 x109 t3 x1 x33 x109 t1 x109 t3 x0 x109 x89 t3 x0 x89 x109 t1 x106 t3 x1 x106 x87 t3 x1 x87 x106 t1 x41 t3 x7 x41 x56 t3 x7 x56 x41 t1 x42 t3 x1 x42 x41 t3 x1 x41 x42 t2 x42 x110 t3 x0 x106 x110 t3 x0 x42 x110 t2 x110 x109 t3 x2 x109 x110 t2 x110 x108 t3 x3 x108 x110 t2 x1 x111 t3 x1 x101 x111 t2 x101 x111 t2 x14 x79 t3 x1 x79 x14 t1 x14 t3 x0 x14 x111 t3 x0 x111 x14 t1 x24 t3 x1 x24 x99 t3 x1 x99 x24 t2 x27 x24 t3 x0 x24 x27 t2 x27 x14 t3 x2 x14 x27 t1 x33 t3 x1 x33 x32 t3 x1 x32 x33 t2 x37 x33 t3 x0 x33 x37 t1 x43 t3 x0 x43 x42 t3 x0 x42 x43 t2 x43 x37 t3 x2 x37 x43 t2 x43 x27 t3 x3 x27 x43 .end