A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is
Dynamic Scheduling And Synchronization Synthesis Of Concurrent Digital Systems Under System-level Constraints
IEEE/ACM International Conference on Computer-Aided Design
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. Synthesis is divided in two phases. In the first phase, the original specification is translated into an algebraic system,doi:10.1109/iccad.1994.629762 dblp:conf/iccad/CoelhoM94 fatcat:jl5hypbnebgx3fokfrm6hmct6a