# Function: rd53 # This file has been taken from RevLib (www.revlib.org). .version 1.0 .numvars 7 .variables a b c d e f g .inputs x1 x2 x3 x4 x5 0 0 .outputs g g g g c2 c1 c0 .constants -----00 .garbage 1111--- .begin ----000 ------- ------- ------- ----100 ------- ------- ------- ----100 ------- ------- ------- ----010 ------- ------- ------- ----100 ------- ------- ------- ----010 ------- ------- ------- ----010 ------- ------- ------- ----110 ------- ------- ------- ----100 ------- ------- ------- ----010 ------- ------- ------- ----010 ------- ------- ------- ----110 ------- ------- ------- ----010 ------- ------- ------- ----110 ------- ------- ------- ----110 ------- ------- ------- ----001 ------- ------- ------- ----100 ------- ------- ------- ----010 ------- ------- ------- ----010 ------- ------- ------- ----110 ------- ------- ------- ----010 ------- ------- ------- ----110 ------- ------- ------- ----110 ------- ------- ------- ----001 ------- ------- ------- ----010 ------- ------- ------- ----110 ------- ------- ------- ----110 ------- ------- ------- ----001 ------- ------- ------- ----110 ------- ------- ------- ----001 ------- ------- ------- ----001 ------- ------- ------- ----101 ------- ------- ------- .end