# This file has been generated using RevKit 1.1 (www.revkit.org) # Command Line: # ./tools/bdd_synthesis.py --filename hwb6_14.pla --realname hwb6_14.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 46 .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 .inputs a b c d e f 0 0 0 0 1 1 0 1 1 1 1 1 1 0 0 1 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 .outputs g g g g g g g g g g g g g g g f g g g g g a g g g g g g g b g g g g c g g g g g d g g e g g .constants ------0000110111111001000010010000000000010010 .garbage 111111111111111-11111-1111111-1111-11111-11-11 .begin t2 x5 x6 t3 x0 x5 x6 t2 x0 x6 t3 x0 x5 x7 t2 x7 x8 t3 x4 x6 x8 t3 x4 x7 x8 t2 x3 x9 t3 x3 x8 x9 t2 x8 x9 t2 x4 x10 t2 x6 x10 t3 x4 x7 x10 t3 x4 x6 x10 t2 x5 x11 t2 x0 x11 t3 x4 x11 x12 t2 x3 x13 t2 x12 x13 t3 x3 x10 x13 t3 x3 x12 x13 t1 x13 t3 x1 x13 x9 t3 x1 x9 x13 t2 x4 x14 t2 x11 x14 t3 x4 x6 x15 t2 x4 x15 t2 x3 x16 t2 x15 x16 t3 x3 x14 x16 t3 x3 x15 x16 t2 x4 x17 t2 x7 x17 t3 x0 x5 x18 t2 x5 x18 t2 x18 x19 t3 x4 x11 x19 t3 x4 x18 x19 t2 x19 x20 t3 x3 x17 x20 t3 x3 x19 x20 t2 x1 x21 t2 x20 x21 t3 x1 x16 x21 t3 x1 x20 x21 t2 x21 x13 t3 x2 x13 x21 t2 x4 x22 t3 x4 x6 x22 t2 x6 x22 t2 x12 x23 t3 x3 x22 x23 t3 x3 x12 x23 t2 x4 x24 t3 x4 x7 x24 t2 x7 x24 t1 x19 t3 x3 x19 x24 t3 x3 x24 x19 t2 x19 x25 t3 x1 x23 x25 t3 x1 x19 x25 t2 x4 x26 t2 x18 x26 t3 x4 x6 x26 t3 x4 x18 x26 t2 x0 x27 t3 x4 x5 x27 t3 x0 x4 x27 t2 x27 x28 t3 x3 x26 x28 t3 x3 x27 x28 t2 x1 x29 t2 x28 x29 t3 x1 x20 x29 t3 x1 x28 x29 t1 x29 t3 x2 x29 x25 t3 x2 x25 x29 t2 x28 x19 t3 x1 x19 x28 t2 x18 x30 t3 x4 x5 x30 t3 x4 x18 x30 t2 x30 x31 t3 x3 x26 x31 t3 x3 x30 x31 t2 x7 x32 t3 x0 x4 x32 t3 x4 x7 x32 t2 x32 x33 t3 x3 x27 x33 t3 x3 x32 x33 t2 x33 x34 t3 x1 x31 x34 t3 x1 x33 x34 t2 x34 x28 t3 x2 x28 x34 t2 x11 x35 t3 x0 x4 x35 t3 x4 x11 x35 t2 x35 x36 t3 x3 x27 x36 t3 x3 x35 x36 t2 x36 x31 t3 x1 x31 x36 t2 x6 x37 t3 x4 x18 x37 t3 x4 x6 x37 t2 x37 x38 t3 x3 x30 x38 t3 x3 x37 x38 t3 x4 x7 x39 t2 x39 x40 t3 x3 x32 x40 t3 x3 x39 x40 t2 x40 x38 t3 x1 x38 x40 t2 x40 x36 t3 x2 x36 x40 t3 x4 x18 x41 t2 x4 x41 t2 x41 x42 t3 x3 x30 x42 t3 x3 x41 x42 t2 x14 x35 t3 x3 x35 x14 t2 x14 x42 t3 x1 x42 x14 t2 x8 x37 t3 x3 x37 x8 t3 x3 x10 x43 t2 x43 x8 t3 x1 x8 x43 t2 x43 x14 t3 x2 x14 x43 t2 x22 x41 t3 x3 x41 x22 t2 x4 x44 t2 x7 x44 t3 x4 x11 x44 t3 x4 x7 x44 t2 x3 x44 t1 x44 t2 x44 x22 t3 x1 x22 x44 t2 x11 x6 t3 x4 x6 x11 t2 x39 x45 t3 x3 x11 x45 t3 x3 x39 x45 t2 x15 x11 t3 x3 x11 x15 t1 x15 t3 x1 x15 x45 t3 x1 x45 x15 t2 x15 x44 t3 x2 x44 x15 .end