# Function: alu1 # Used Library: EQ (Gates: 32, Quantum costs: 228) # This file have been taken from RevLib (www.revlib.org). .version 1.0 # Created by tfc2real J. Rice Jan 2009 # Parameters for Exorcism: -n 1 -r 1 -a 0 -b 1 -c 1 # Templates applied in both directions .numvars 20 .variables f7 f6 f5 f4 f3 f2 f1 f0 x11 x10 x9 x8 x7 x6 x5 x4 x3 x2 x1 x0 .inputs 0 0 0 0 0 0 0 0 x11 x10 x9 x8 x7 x6 x5 x4 x3 x2 x1 x0 .outputs f7 f6 f5 f4 f3 f2 f1 f0 x11 x10 x9 x8 x7 x6 x5 x4 x3 x2 x1 x0 .constants 00000000------------ .garbage 111111111111-------- .begin t4 x3 x7 x11 f3 t1 f0 t1 f1 t1 f2 t1 f3 t4 x2 x6 x11 f2 t4 x1 x5 x11 f1 t4 x0 x4 x11 f0 t4 x3 x7 x10 f3 t3 x3 x10 f3 t4 x2 x6 x10 f2 t3 x2 x10 f2 t4 x1 x5 x10 f1 t3 x1 x10 f1 t4 x0 x4 x10 f0 t3 x0 x10 f0 t1 x2 t1 x8 t4 x2 x6 x8 f6 t1 x6 t1 x9 t4 x2 x6 x9 f6 t1 x1 t4 x1 x5 x8 f5 t1 x5 t4 x1 x5 x9 f5 t1 x0 t4 x0 x4 x8 f4 t1 x4 t4 x0 x4 x9 f4 t1 x3 t4 x3 x7 x8 f7 .end