2011-12-22 13:37:16 -05:00
|
|
|
from migen.fhdl.structure import *
|
|
|
|
|
|
|
|
class SchedulingModel:
|
2011-12-22 18:35:53 -05:00
|
|
|
COMBINATORIAL, SEQUENTIAL, PIPELINE, DYNAMIC = range(4)
|
2011-12-22 13:37:16 -05:00
|
|
|
|
|
|
|
def __init__(self, model, latency=1):
|
|
|
|
self.model = model
|
|
|
|
self.latency = latency
|
|
|
|
|
2012-01-06 09:35:17 -05:00
|
|
|
def __repr__(self):
|
2011-12-22 13:37:16 -05:00
|
|
|
if self.model == SchedulingModel.COMBINATORIAL:
|
|
|
|
return "<SchedulingModel: COMBINATORIAL>"
|
|
|
|
elif self.model == SchedulingModel.SEQUENTIAL:
|
|
|
|
return "<SchedulingModel: SEQUENTIAL({0})>".format(self.latency)
|
|
|
|
elif self.model == SchedulingModel.PIPELINE:
|
|
|
|
return "<SchedulingModel: PIPELINE({0})>".format(self.latency)
|
|
|
|
elif self.model == SchedulingModel.DYNAMIC:
|
|
|
|
return "<SchedulingModel: DYNAMIC>"
|
|
|
|
else:
|
|
|
|
raise AttributeError
|
|
|
|
|
2012-01-06 09:35:17 -05:00
|
|
|
class Endpoint:
|
2011-12-22 13:37:16 -05:00
|
|
|
def __init__(self, actor, token):
|
|
|
|
self.actor = actor
|
|
|
|
self.token = token
|
2012-01-06 09:35:17 -05:00
|
|
|
self.stb = Signal()
|
|
|
|
self.ack = Signal()
|
2011-12-22 13:37:16 -05:00
|
|
|
|
2012-01-06 09:35:17 -05:00
|
|
|
def _control_fragment_comb(stb_i, ack_o, stb_o, ack_i):
|
|
|
|
return Fragment([stb_o.eq(stb_i), ack_o.eq(ack_i)])
|
2011-12-22 13:37:16 -05:00
|
|
|
|
2012-01-06 09:35:17 -05:00
|
|
|
def _control_fragment_seq(latency, stb_i, ack_o, stb_o, ack_i, trigger):
|
2011-12-22 13:37:16 -05:00
|
|
|
ready = Signal()
|
|
|
|
timer = Signal(BV(bits_for(latency)))
|
2011-12-22 18:35:53 -05:00
|
|
|
comb = [ready.eq(timer == 0)]
|
2011-12-22 13:37:16 -05:00
|
|
|
sync = [
|
|
|
|
If(trigger,
|
|
|
|
timer.eq(latency)
|
|
|
|
).Elif(~ready,
|
|
|
|
timer.eq(timer - 1)
|
|
|
|
)
|
|
|
|
]
|
|
|
|
|
2012-01-06 09:35:17 -05:00
|
|
|
mask = Signal()
|
|
|
|
comb += [
|
|
|
|
stb_o.eq(ready & mask),
|
|
|
|
trigger.eq(stb_i & (ack_i | ~mask) & ready),
|
|
|
|
ack_o.eq(trigger),
|
|
|
|
]
|
|
|
|
sync += [
|
|
|
|
If(trigger, mask.eq(1)),
|
|
|
|
If(stb_o & ack_i, mask.eq(0))
|
|
|
|
]
|
2011-12-22 13:37:16 -05:00
|
|
|
|
|
|
|
return Fragment(comb, sync)
|
|
|
|
|
2012-01-06 09:35:17 -05:00
|
|
|
def _control_fragment_pipe(latency, stb_i, ack_o, stb_o, ack_i, pipe_ce):
|
2011-12-22 13:37:16 -05:00
|
|
|
valid = Signal(BV(latency))
|
|
|
|
if latency > 1:
|
2012-01-06 09:35:17 -05:00
|
|
|
sync = [If(pipe_ce, valid.eq(Cat(stb_i, valid[:latency-1])))]
|
2011-12-22 13:37:16 -05:00
|
|
|
else:
|
2012-01-06 09:35:17 -05:00
|
|
|
sync = [If(pipe_ce, valid.eq(stb_i))]
|
2011-12-22 13:37:16 -05:00
|
|
|
last_valid = valid[latency-1]
|
|
|
|
|
2012-01-06 09:35:17 -05:00
|
|
|
comb = [
|
|
|
|
pipe_ce.eq(ack_i | ~last_valid),
|
|
|
|
ack_o.eq(pipe_ce),
|
|
|
|
stb_o.eq(last_valid)
|
|
|
|
]
|
2011-12-22 13:37:16 -05:00
|
|
|
|
|
|
|
return Fragment(comb, sync)
|
|
|
|
|
|
|
|
class Actor:
|
|
|
|
def __init__(self, scheduling_model, sinks, sources):
|
|
|
|
self.scheduling_model = scheduling_model
|
2012-01-06 09:35:17 -05:00
|
|
|
if isinstance(sinks, list):
|
|
|
|
self.sinks = [Endpoint(self, sink) for sink in sinks]
|
|
|
|
else:
|
|
|
|
self.sinks = [Endpoint(self, sinks)]
|
|
|
|
if isinstance(sources, list):
|
|
|
|
self.sources = [Endpoint(self, source) for source in sources]
|
|
|
|
else:
|
|
|
|
self.sources = [Endpoint(self, sources)]
|
2011-12-22 18:35:53 -05:00
|
|
|
if self.scheduling_model.model == SchedulingModel.SEQUENTIAL:
|
2011-12-22 13:37:16 -05:00
|
|
|
self.trigger = Signal()
|
2011-12-22 18:35:53 -05:00
|
|
|
elif self.scheduling_model.model == SchedulingModel.PIPELINE:
|
2011-12-22 13:37:16 -05:00
|
|
|
self.pipe_ce = Signal()
|
|
|
|
|
2011-12-22 18:35:53 -05:00
|
|
|
def get_control_fragment(self):
|
2012-01-06 09:35:17 -05:00
|
|
|
if len(self.sinks) != 1 or len(self.sources) != 1:
|
|
|
|
raise ValueError("Actors with automatic control fragment must have one sink and one source. Consider using plumbing actors.")
|
|
|
|
stb_i = self.sinks[0].stb
|
|
|
|
ack_o = self.sinks[0].ack
|
|
|
|
stb_o = self.sources[0].stb
|
|
|
|
ack_i = self.sources[0].ack
|
2011-12-22 18:35:53 -05:00
|
|
|
if self.scheduling_model.model == SchedulingModel.COMBINATORIAL:
|
2012-01-06 09:35:17 -05:00
|
|
|
return _control_fragment_comb(stb_i, ack_o, stb_o, ack_i)
|
2011-12-22 18:35:53 -05:00
|
|
|
elif self.scheduling_model.model == SchedulingModel.SEQUENTIAL:
|
2012-01-06 09:35:17 -05:00
|
|
|
return _control_fragment_seq(self.scheduling_model.latency, stb_i, ack_o, stb_o, ack_i, self.trigger)
|
2011-12-22 18:35:53 -05:00
|
|
|
elif self.scheduling_model.model == SchedulingModel.PIPELINE:
|
2012-01-06 09:35:17 -05:00
|
|
|
return _control_fragment_pipe(self.scheduling_model.latency, stb_i, ack_o, stb_o, ack_i, self.pipe_ce)
|
2011-12-22 18:35:53 -05:00
|
|
|
elif self.scheduling_model.model == SchedulingModel.DYNAMIC:
|
2011-12-22 13:37:16 -05:00
|
|
|
raise NotImplementedError("Actor classes with dynamic scheduling must overload get_control_fragment")
|
|
|
|
|
2011-12-22 18:35:53 -05:00
|
|
|
def get_process_fragment(self):
|
2011-12-22 13:37:16 -05:00
|
|
|
raise NotImplementedError("Actor classes must overload get_process_fragment")
|
2012-01-06 11:24:05 -05:00
|
|
|
|
|
|
|
def get_actor_fragments(*actors):
|
|
|
|
return sum([a.get_control_fragment() + a.get_process_fragment() for a in actors], Fragment())
|