# Function: 1-bit adder/rd32 # Note: Embedding with constant 0 # This file has been taken from RevLib (www.revlib.org). .version 1.0 .numvars 4 .variables a b c d .inputs a b c 0 .outputs g g c d .constants ---0 .garbage 11-- .begin --00 ---- --10 ---- --10 ---- --01 ---- --10 ---- --01 ---- --01 ---- --11 ---- .end