def simulate(self, value_store, state_store):
in0 = BitVector(value_store.get_value(self.in0))
in1 = BitVector(value_store.get_value(self.in1))
sel = BitVector(value_store.get_value(self.sel))
out = in1 if sel.as_int() else in0
value_store.set_value(self.out, out)
def simulate(self, value_store, state_store):
I0 = BitVector(value_store.get_value(self.I0))
I1 = BitVector(value_store.get_value(self.I1))
S = BitVector(value_store.get_value(self.S))
O = I1 if S.as_int() else in0
value_store.set_value(self.O, O)