# This file has been generated using RevKit 1.1 (www.revkit.org) # Command Line: # ./tools/bdd_synthesis.py --filename hwb5_13.pla --realname hwb5_13.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 28 .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 .inputs a b c d e 0 0 0 1 1 0 1 0 1 0 1 0 0 1 0 0 0 0 0 0 1 0 1 .outputs g g g g g g g g g g g g g a g g g g b g g c g g d g g e .constants -----00011010101001000000101 .garbage 1111111111111-1111-11-11-11- .begin t2 x4 x5 t3 x0 x4 x5 t2 x0 x5 t2 x3 x6 t3 x3 x5 x6 t2 x5 x6 t3 x0 x4 x7 t2 x3 x8 t2 x7 x8 t1 x8 t3 x1 x8 x6 t3 x1 x6 x8 t2 x4 x9 t2 x0 x9 t3 x3 x9 x10 t3 x0 x4 x11 t2 x4 x11 t2 x11 x12 t3 x3 x9 x12 t3 x3 x11 x12 t2 x1 x13 t2 x12 x13 t3 x1 x10 x13 t3 x1 x12 x13 t2 x13 x8 t3 x2 x8 x13 t2 x3 x14 t3 x3 x7 x14 t2 x7 x14 t2 x3 x15 t2 x11 x15 t3 x3 x5 x15 t3 x3 x11 x15 t2 x15 x16 t3 x1 x14 x16 t3 x1 x15 x16 t2 x0 x17 t3 x3 x4 x17 t3 x0 x3 x17 t2 x1 x18 t2 x17 x18 t3 x1 x12 x18 t3 x1 x17 x18 t1 x18 t3 x2 x18 x16 t3 x2 x16 x18 t2 x17 x15 t3 x1 x15 x17 t2 x11 x19 t3 x3 x4 x19 t3 x3 x11 x19 t2 x7 x20 t3 x0 x3 x20 t3 x3 x7 x20 t2 x20 x21 t3 x1 x19 x21 t3 x1 x20 x21 t2 x21 x17 t3 x2 x17 x21 t2 x9 x22 t3 x0 x3 x22 t3 x3 x9 x22 t2 x22 x19 t3 x1 x19 x22 t2 x5 x23 t3 x3 x11 x23 t3 x3 x5 x23 t3 x3 x7 x24 t2 x24 x23 t3 x1 x23 x24 t2 x24 x22 t3 x2 x22 x24 t3 x3 x11 x25 t2 x3 x25 t2 x3 x9 t1 x9 t2 x9 x25 t3 x1 x25 x9 t2 x7 x26 t3 x3 x5 x26 t3 x3 x7 x26 t3 x3 x5 x27 t2 x3 x27 t1 x27 t3 x1 x27 x26 t3 x1 x26 x27 t2 x27 x9 t3 x2 x9 x27 .end