Title: Functional partitioning of multiprocessor architectures