Multiprocessor SoC architecture Lower simulation speeds limit ... “Automated concurrency re-assignment in high level system models for efficient system-level simulation”, proceeding of Design, ...