# This file has been generated using RevKit 1.1 (www.revkit.org) # Command Line: # ./tools/bdd_synthesis.py --filename bw_116.pla --realname bw_116.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 87 .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 .inputs x0 x1 x2 x3 x4 1 0 0 0 1 0 1 0 1 1 1 0 0 0 1 0 1 0 0 1 1 0 1 0 1 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 1 0 0 0 0 1 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 1 1 0 0 1 0 0 1 1 0 0 0 0 .outputs g g g g g g g g g g g g f0 g f23 g f1 g g g f2 g f3 g g g g f4 g g f5 g g g f6 g g g f7 g f8 g g f9 g g f10 g g g g f11 g g f12 g g f13 f25 g f24 f14 g g f15 g f16 g g f17 g g g f18 g g f19 g f20 g f21 f22 g g f26 g f27 .constants -----1000101011100010100110101000000000111100100001100000100000100000000011100100110000 .garbage 111111111111-1-1-111-1-1111-11-111-111-1-11-11-1111-11-11--1--11-1-11-111-11-1-1--11-1- .begin t3 x2 x4 x5 t2 x4 x5 t2 x5 x6 t3 x1 x2 x6 t3 x1 x5 x6 t2 x2 x7 t3 x3 x6 x7 t3 x2 x3 x7 t3 x2 x4 x8 t2 x4 x9 t2 x2 x9 t2 x1 x10 t3 x1 x9 x10 t2 x9 x10 t2 x3 x11 t2 x10 x11 t3 x3 x8 x11 t3 x3 x10 x11 t2 x11 x12 t3 x0 x7 x12 t3 x0 x11 x12 t3 x1 x2 x13 t2 x1 x13 t3 x1 x8 x14 t2 x1 x14 t2 x3 x15 t2 x1 x15 t3 x3 x14 x15 t3 x1 x3 x15 t2 x15 x16 t3 x0 x13 x16 t3 x0 x15 x16 t2 x4 x17 t3 x2 x4 x17 t2 x2 x17 t2 x17 x18 t3 x1 x4 x18 t3 x1 x17 x18 t2 x3 x19 t2 x14 x19 t3 x3 x18 x19 t3 x3 x14 x19 t2 x19 x20 t3 x0 x2 x20 t3 x0 x19 x20 t2 x3 x21 t2 x17 x21 t3 x3 x8 x21 t3 x3 x17 x21 t2 x21 x22 t3 x0 x2 x22 t3 x0 x21 x22 t2 x2 x23 t3 x1 x17 x23 t3 x1 x2 x23 t3 x3 x23 x24 t2 x3 x24 t3 x2 x4 x25 t2 x2 x25 t2 x25 x26 t3 x1 x8 x26 t3 x1 x25 x26 t2 x3 x27 t2 x26 x27 t3 x3 x10 x27 t3 x3 x26 x27 t2 x27 x24 t3 x0 x24 x27 t2 x1 x28 t3 x1 x5 x28 t2 x5 x28 t2 x3 x29 t2 x28 x29 t3 x3 x8 x29 t3 x3 x28 x29 t2 x29 x30 t3 x0 x2 x30 t3 x0 x29 x30 t2 x6 x31 t3 x2 x3 x31 t3 x3 x6 x31 t2 x25 x32 t3 x1 x9 x32 t3 x1 x25 x32 t2 x9 x33 t3 x1 x2 x33 t3 x1 x9 x33 t1 x33 t3 x3 x33 x32 t3 x3 x32 x33 t2 x33 x34 t3 x0 x31 x34 t3 x0 x33 x34 t2 x2 x35 t3 x1 x5 x35 t3 x1 x2 x35 t2 x35 x36 t3 x3 x23 x36 t3 x3 x35 x36 t2 x8 x37 t3 x1 x9 x37 t3 x1 x8 x37 t3 x3 x37 x38 t2 x38 x36 t3 x0 x36 x38 t3 x1 x9 x39 t2 x1 x39 t2 x3 x40 t2 x39 x40 t3 x3 x17 x40 t3 x3 x39 x40 t2 x40 x31 t3 x0 x31 x40 t3 x1 x8 x41 t2 x8 x41 t2 x3 x42 t2 x41 x42 t3 x3 x8 x42 t3 x3 x41 x42 t2 x42 x43 t3 x0 x2 x43 t3 x0 x42 x43 t2 x3 x44 t3 x3 x5 x44 t2 x5 x44 t2 x3 x45 t2 x37 x45 t2 x45 x46 t3 x0 x44 x46 t3 x0 x45 x46 t2 x17 x47 t3 x1 x2 x47 t3 x1 x17 x47 t2 x47 x48 t3 x3 x6 x48 t3 x3 x47 x48 t2 x2 x49 t3 x1 x8 x49 t3 x1 x2 x49 t3 x1 x4 x50 t2 x4 x50 t2 x3 x51 t2 x50 x51 t3 x3 x49 x51 t3 x3 x50 x51 t2 x51 x48 t3 x0 x48 x51 t3 x1 x8 x52 t2 x52 x53 t3 x3 x8 x53 t3 x3 x52 x53 t2 x53 x54 t3 x0 x2 x54 t3 x0 x53 x54 t2 x5 x55 t3 x3 x6 x55 t3 x3 x5 x55 t2 x5 x56 t3 x1 x9 x56 t3 x1 x5 x56 t3 x3 x56 x57 t2 x56 x57 t2 x57 x55 t3 x0 x55 x57 t2 x5 x58 t3 x1 x17 x58 t3 x1 x5 x58 t2 x58 x59 t3 x3 x47 x59 t3 x3 x58 x59 t3 x3 x8 x60 t2 x60 x61 t3 x0 x59 x61 t3 x0 x60 x61 t2 x9 x62 t3 x1 x25 x62 t3 x1 x9 x62 t2 x3 x63 t2 x62 x63 t3 x3 x37 x63 t3 x3 x62 x63 t2 x0 x64 t3 x0 x63 x64 t2 x63 x64 t3 x3 x49 x65 t2 x65 x66 t3 x0 x2 x66 t3 x0 x65 x66 t2 x17 x67 t3 x1 x5 x67 t3 x1 x17 x67 t2 x67 x68 t3 x3 x5 x68 t3 x3 x67 x68 t1 x25 t3 x3 x25 x23 t3 x3 x23 x25 t2 x25 x69 t3 x0 x68 x69 t3 x0 x25 x69 t2 x2 x70 t3 x3 x13 x70 t3 x2 x3 x70 t2 x17 x71 t3 x1 x8 x71 t3 x1 x17 x71 t2 x1 x72 t3 x1 x17 x72 t2 x17 x72 t2 x3 x73 t2 x72 x73 t3 x3 x71 x73 t3 x3 x72 x73 t2 x73 x70 t3 x0 x70 x73 t3 x1 x17 x74 t2 x1 x74 t2 x3 x75 t2 x74 x75 t3 x3 x8 x75 t3 x3 x74 x75 t2 x75 x76 t3 x0 x2 x76 t3 x0 x75 x76 t2 x2 x77 t3 x3 x35 x77 t3 x2 x3 x77 t2 x3 x78 t2 x39 x78 t3 x3 x8 x78 t3 x3 x39 x78 t2 x78 x77 t3 x0 x77 x78 t2 x9 x79 t3 x1 x5 x79 t3 x1 x9 x79 t1 x10 t3 x3 x10 x79 t3 x3 x79 x10 t2 x0 x80 t3 x0 x10 x80 t2 x10 x80 t2 x3 x81 t2 x9 x81 t3 x3 x37 x81 t3 x3 x9 x81 t2 x81 x44 t3 x0 x44 x81 t3 x3 x67 x82 t2 x3 x82 t2 x9 x83 t3 x1 x17 x83 t3 x1 x9 x83 t1 x14 t3 x3 x14 x83 t3 x3 x83 x14 t2 x14 x82 t3 x0 x82 x14 t2 x60 x7 t3 x0 x7 x60 t1 x58 t3 x3 x58 x62 t3 x3 x62 x58 t2 x58 x68 t3 x0 x68 x58 t2 x9 x8 t3 x1 x8 x9 t1 x17 t3 x3 x17 x9 t3 x3 x9 x17 t2 x17 x84 t3 x0 x2 x84 t3 x0 x17 x84 t2 x3 x85 t3 x3 x72 x85 t2 x72 x85 t2 x0 x86 t3 x0 x85 x86 t2 x85 x86 t1 x12 t1 x16 t1 x20 t1 x22 t1 x27 t1 x30 t1 x34 t1 x38 t1 x40 t1 x43 t1 x46 t1 x51 t1 x54 t1 x57 t1 x61 t1 x64 t1 x66 t1 x69 t1 x73 t1 x76 t1 x78 t1 x80 t1 x81 t1 x14 t1 x60 t1 x58 t1 x84 t1 x86 .end