Dynamic Scheduling and Synchronization Synthesis of Concurrent Digital Systems under System-Level Constraints
Claudionor N. Coelho, Jr., Giovanni De Micheli, Giovanni De Micheli · 1994
We present in this paper a novel control synthesis technique for system-level specifications that are better described as a set of concurrent synchronous descriptions, their synchronizations and constraints. The proposed synthesis technique considers the degrees of freedom introduced by the concurrent models and by the environment in order to satisfy the design constraints.