Dynamic scheduling and synchronization synthesis of concurrent digital systems under system-level constraints
