This SDF model illustrates the use of synthesis for fast prototyping.
In this model, we hope to create an FSMActor as a controller that can,
based on the requirement of clients, grant the resource. However, it is
forbidden that the controller grants two clients simultaneously. The
overall requirement can be concretized by the following specification.
ALWAYS (req1 -> EVENTUALLY (grant1))
ALWAYS (req2 -> EVENTUALLY (grant2))
ALWAYS (!(grant1 && grant2))
INPUT req1, req2
OUTPUT grant1, grant2