# This file has been generated using RevKit 1.1 (www.revkit.org) # Command Line: # ./tools/bdd_synthesis.py --filename hwb7_15.pla --realname hwb7_15.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 73 .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 .inputs a b c d e f g 0 0 1 1 0 0 0 0 1 1 1 1 0 1 1 0 1 1 0 1 1 0 0 0 0 1 0 0 0 0 1 0 1 0 1 1 0 0 1 1 0 0 0 1 0 1 0 0 0 0 1 0 0 1 0 0 1 1 0 0 0 0 0 1 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 a g g g g g g g g b g g g g g g g c g g g g g d g g g g g g e g g g g g g g f g .constants -------001100001111011011011000010000101011001100010100001001001100000100 .garbage 111111111111111111111111111111-11-11111111-1111111-11111-111111-1111111-1 .begin t3 x4 x5 x7 t2 x4 x8 t3 x4 x5 x8 t2 x5 x8 t2 x6 x9 t2 x8 x9 t3 x6 x7 x9 t3 x6 x8 x9 t3 x1 x9 x10 t2 x9 x10 t2 x6 x11 t3 x6 x8 x11 t2 x8 x11 t2 x4 x12 t3 x6 x8 x12 t3 x4 x6 x12 t2 x12 x13 t3 x1 x11 x13 t3 x1 x12 x13 t2 x13 x14 t3 x0 x10 x14 t3 x0 x13 x14 t2 x4 x15 t2 x5 x15 t2 x6 x16 t2 x15 x16 t2 x6 x17 t2 x4 x17 t3 x6 x15 x17 t3 x4 x6 x17 t2 x1 x18 t2 x17 x18 t3 x1 x16 x18 t3 x1 x17 x18 t2 x5 x19 t3 x4 x6 x19 t3 x5 x6 x19 t2 x1 x20 t2 x19 x20 t3 x1 x17 x20 t3 x1 x19 x20 t2 x0 x21 t2 x20 x21 t3 x0 x18 x21 t3 x0 x20 x21 t2 x21 x14 t3 x2 x14 x21 t2 x7 x22 t3 x6 x8 x22 t3 x6 x7 x22 t3 x4 x5 x23 t2 x4 x23 t2 x6 x24 t2 x23 x24 t3 x6 x7 x24 t3 x6 x23 x24 t2 x24 x25 t3 x1 x22 x25 t3 x1 x24 x25 t2 x6 x26 t2 x5 x26 t3 x6 x23 x26 t3 x5 x6 x26 t2 x1 x27 t2 x26 x27 t3 x1 x24 x27 t3 x1 x26 x27 t2 x27 x28 t3 x0 x25 x28 t3 x0 x27 x28 t2 x6 x29 t3 x6 x23 x29 t2 x23 x29 t2 x26 x30 t3 x1 x29 x30 t3 x1 x26 x30 t2 x7 x31 t3 x6 x23 x31 t3 x6 x7 x31 t2 x1 x32 t2 x31 x32 t3 x1 x26 x32 t3 x1 x31 x32 t2 x32 x33 t3 x0 x30 x33 t3 x0 x32 x33 t1 x33 t3 x2 x33 x28 t3 x2 x28 x33 t2 x33 x21 t3 x3 x21 x33 t2 x19 x34 t3 x1 x12 x34 t3 x1 x19 x34 t2 x34 x35 t3 x0 x13 x35 t3 x0 x34 x35 t2 x31 x36 t3 x1 x19 x36 t3 x1 x31 x36 t2 x0 x37 t2 x36 x37 t3 x0 x20 x37 t3 x0 x36 x37 t1 x37 t3 x2 x37 x35 t3 x2 x35 x37 t1 x32 t3 x0 x32 x27 t3 x0 x27 x32 t2 x15 x38 t3 x6 x23 x38 t3 x6 x15 x38 t2 x1 x39 t2 x38 x39 t3 x1 x26 x39 t3 x1 x38 x39 t3 x6 x8 x40 t2 x40 x31 t3 x1 x31 x40 t2 x0 x41 t2 x40 x41 t3 x0 x39 x41 t3 x0 x40 x41 t2 x2 x42 t2 x41 x42 t3 x2 x32 x42 t3 x2 x41 x42 t2 x42 x37 t3 x3 x37 x42 t2 x36 x34 t3 x0 x34 x36 t2 x38 x43 t3 x1 x19 x43 t3 x1 x38 x43 t2 x40 x43 t3 x0 x43 x40 t2 x40 x44 t3 x2 x36 x44 t3 x2 x40 x44 t3 x6 x15 x45 t2 x15 x45 t2 x45 x38 t3 x1 x38 x45 t2 x6 x46 t2 x8 x46 t3 x6 x7 x47 t2 x47 x48 t3 x1 x46 x48 t3 x1 x47 x48 t2 x48 x49 t3 x0 x45 x49 t3 x0 x48 x49 t2 x2 x50 t2 x49 x50 t3 x2 x41 x50 t3 x2 x49 x50 t1 x50 t3 x3 x50 x44 t3 x3 x44 x50 t2 x49 x40 t3 x2 x40 x49 t2 x9 x51 t3 x1 x46 x51 t3 x1 x9 x51 t2 x51 x45 t3 x0 x45 x51 t3 x6 x7 x52 t2 x7 x52 t2 x22 x53 t3 x1 x52 x53 t3 x1 x22 x53 t3 x1 x16 x54 t2 x54 x55 t3 x0 x53 x55 t3 x0 x54 x55 t2 x55 x56 t3 x2 x51 x56 t3 x2 x55 x56 t2 x56 x49 t3 x3 x49 x56 t2 x1 x57 t2 x11 x57 t3 x1 x16 x57 t3 x1 x11 x57 t2 x57 x53 t3 x0 x53 x57 t2 x57 x51 t3 x2 x51 x57 t2 x15 x58 t3 x6 x8 x58 t3 x6 x15 x58 t2 x58 x59 t3 x1 x52 x59 t3 x1 x58 x59 t1 x7 t3 x6 x7 x15 t3 x6 x15 x7 t2 x1 x60 t2 x58 x60 t3 x1 x7 x60 t3 x1 x58 x60 t2 x60 x61 t3 x0 x59 x61 t3 x0 x60 x61 t2 x47 x62 t3 x1 x11 x62 t3 x1 x47 x62 t3 x1 x7 x63 t2 x1 x63 t1 x63 t3 x0 x63 x62 t3 x0 x62 x63 t2 x63 x61 t3 x2 x61 x63 t2 x63 x57 t3 x3 x57 x63 t2 x1 x64 t2 x22 x64 t3 x1 x7 x64 t3 x1 x22 x64 t2 x64 x59 t3 x0 x59 x64 t2 x9 x65 t3 x1 x11 x65 t3 x1 x9 x65 t2 x58 x66 t3 x1 x16 x66 t3 x1 x58 x66 t1 x66 t3 x0 x66 x65 t3 x0 x65 x66 t2 x66 x64 t3 x2 x64 x66 t2 x1 x67 t3 x1 x16 x67 t2 x16 x67 t2 x7 x68 t3 x1 x9 x68 t3 x1 x7 x68 t1 x68 t3 x0 x68 x67 t3 x0 x67 x68 t3 x1 x22 x69 t2 x1 x70 t2 x29 x70 t3 x1 x47 x70 t3 x1 x29 x70 t2 x70 x71 t3 x0 x69 x71 t3 x0 x70 x71 t2 x71 x68 t3 x2 x68 x71 t2 x71 x66 t3 x3 x66 x71 t2 x1 x72 t3 x1 x7 x72 t2 x7 x72 t2 x9 x47 t3 x1 x47 x9 t1 x9 t3 x0 x9 x72 t3 x0 x72 x9 t2 x1 x58 t1 x58 t2 x18 x58 t3 x0 x58 x18 t2 x18 x9 t3 x2 x9 x18 t1 x7 t3 x1 x7 x11 t3 x1 x11 x7 t2 x25 x7 t3 x0 x7 x25 t1 x30 t3 x0 x30 x70 t3 x0 x70 x30 t2 x30 x25 t3 x2 x25 x30 t2 x30 x18 t3 x3 x18 x30 .end