An Alternate View of Synthesis
An Alternate View of Synthesis
OPCODE: { add, sub, mult, div, and, or, xor }
TWOBIT: { a, b, c, d }
BOOLEAN: { 0, 1}
add: [ a, b ]
div: [ b, a ]
and: [ b, b ]
or: [ b, c ]
mult: [ a, d ]
xor: [ b, d ]
sub: [ a, c ]
a: [ 0, 0 ]
b: [ 0, 1 ]
c: [ 1, 0 ]
d: [ 1, 1 ]
add: [ 0,0,0,1 ]
div: [ 0,1,0,0 ]
and: [ 0,1,0,1 ]
or: [ 0,1,1,0 ]
mult: [ 0,0,1,1 ]
xor: [ 0,1,1,1 ]
sub: [ 0,0,1,0 ]