# Function: reversible ripple carry adder bit width 16 # Used Library: NCT (gates: 64, quantum costs: 192) # This file have been taken from RevLib (www.revlib.org). .version 1.0 .numvars 49 .variables x48 x47 x46 x45 x44 x43 x42 x41 x40 x39 x38 x37 x36 x35 x34 x33 x32 x31 x30 x29 x28 x27 x26 x25 x24 x23 x22 x21 x20 x19 x18 x17 x16 x15 x14 x13 x12 x11 x10 x9 x8 x7 x6 x5 x4 x3 x2 x1 x0 .inputs 0 y15 x15 0 y14 x14 0 y13 x13 0 y12 x12 0 y11 x11 0 y10 x10 0 y9 x9 0 y8 x8 0 y7 x7 0 y6 x6 0 y5 x5 0 y4 x4 0 y3 x3 0 y2 x2 0 y1 x1 0 cin y0 x0 .outputs cout g g s15 g g s14 g g s13 g g s12 g g s11 g g s10 g g s9 g g s8 g g s7 g g s6 g g s5 g g s4 g g s3 g g s2 g g s1 s0 g g .constants 0--0--0--0--0--0--0--0--0--0--0--0--0--0--0--0--- .garbage -11-11-11-11-11-11-11-11-11-11-11-11-11-11-11--11 .begin t3 x0 x1 x3 t2 x0 x1 t3 x1 x2 x3 t2 x1 x2 t3 x4 x5 x6 t2 x4 x5 t3 x5 x3 x6 t2 x5 x3 t3 x7 x8 x9 t2 x7 x8 t3 x8 x6 x9 t2 x8 x6 t3 x10 x11 x12 t2 x10 x11 t3 x11 x9 x12 t2 x11 x9 t3 x13 x14 x15 t2 x13 x14 t3 x14 x12 x15 t2 x14 x12 t3 x16 x17 x18 t2 x16 x17 t3 x17 x15 x18 t2 x17 x15 t3 x19 x20 x21 t2 x19 x20 t3 x20 x18 x21 t2 x20 x18 t3 x22 x23 x24 t2 x22 x23 t3 x23 x21 x24 t2 x23 x21 t3 x25 x26 x27 t2 x25 x26 t3 x26 x24 x27 t2 x26 x24 t3 x28 x29 x30 t2 x28 x29 t3 x29 x27 x30 t2 x29 x27 t3 x31 x32 x33 t2 x31 x32 t3 x32 x30 x33 t2 x32 x30 t3 x34 x35 x36 t2 x34 x35 t3 x35 x33 x36 t2 x35 x33 t3 x37 x38 x39 t2 x37 x38 t3 x38 x36 x39 t2 x38 x36 t3 x40 x41 x42 t2 x40 x41 t3 x41 x39 x42 t2 x41 x39 t3 x43 x44 x45 t2 x43 x44 t3 x44 x42 x45 t2 x44 x42 t3 x46 x47 x48 t2 x46 x47 t3 x47 x45 x48 t2 x47 x45 .end