Update Design-doc with named destination.
Update Design-doc with named destination.

Signed-off-by: Bastian Koppelmann <1f36f4516c80b3750c5ec9e3a4a9c96cfa94531a@mail.uni-paderborn.de>

PACO-CPU/paco-cpu,PACO-CPU/paco-cpu,PACO-CPU/paco-cpu