70c70
< # start with the system itself, using a multi-layer 1 GHz
---
> # start with the system itself, using a multi-layer 1.5 GHz
72c72
< # which amounts to 12.8 GByte/s per layer and thus per port
---
> # which amounts to 19.2 GByte/s per layer and thus per port
74c74
< system.clk_domain = SrcClockDomain(clock = '1GHz',
---
> system.clk_domain = SrcClockDomain(clock = '1.5GHz',