[Inputs]
=s[1:0]=
=a[3:0]=
[Outputs]
=o[3:0]=
[BiDir]
[ATTRIBUTES]
VeriModel ALU