if step: params.append("step")
self.d_bv = [BV(bits_for(dimension)) for dimension in maxima]
l_sink = [("d{0}".format(n), [(p, bv) for p in params])
- for n, bv in zip(range(len(self.d_bv)), self.d_bv)]
+ for n, bv in enumerate(self.d_bv)]
l_source = [("d{0}".format(n), bv)
- for n, bv in zip(range(len(self.d_bv)), self.d_bv)]
+ for n, bv in enumerate(self.d_bv)]
Actor.__init__(self, SchedulingModel(SchedulingModel.DYNAMIC),
("sink", Sink, l_sink),
("source", Source, l_source))
self._state_bv = BV(bits_for(len(states)-1))
self._state = Signal(self._state_bv)
self._next_state = Signal(self._state_bv)
- for state, n in zip(states, range(len(states))):
+ for n, state in enumerate(states):
setattr(self, state, Constant(n, self._state_bv))
self.actions = [[] for i in range(len(states))]
def get_fragment(self):
cases = [[Constant(s, self._state_bv)] + a
- for s, a in zip(range(len(self.actions)), self.actions) if a]
+ for s, a in enumerate(self.actions) if a]
comb = [
self._next_state.eq(self._state),
Case(self._state, *cases)
def __init__(self, layout, *subrecords):
source = Record(layout)
subrecords = [source.subrecord(*subr) for subr in subrecords]
- eps = [("sink{0}".format(x[0]), Sink, x[1])
- for x in zip(range(len(subrecords)), subrecords)]
+ eps = [("sink{0}".format(n), Sink, r)
+ for x in enumerate(subrecords)]
ep_source = ("source", Source, source)
eps.append(ep_source)
Actor.__init__(self,
def __init__(self, layout, *subrecords):
sink = Record(layout)
subrecords = [sink.subrecord(*subr) for subr in subrecords]
- eps = [("source{0}".format(x[0]), Source, x[1])
- for x in zip(range(len(subrecords)), subrecords)]
+ eps = [("source{0}".format(n), Source, r)
+ for n, r in enumerate(subrecords)]
ep_sink = ("sink", Sink, sink)
eps.append(ep_sink)
Actor.__init__(self,