A scheduling approach enables scheduling sequential execution of rules in
a single cycle of a synchronous system without necessarily requiring
explicit implementation of a composite rule for each sequence of rules
than may be composed. One method for designing a synchronous digital
system includes using modules with multiple successive interfaces such
that within the a single clocked cycle, each module performs a function
equivalent to completing interactions through one of its interfaces
before performing interactions through any succeeding one of its
interfaces. The scheduled state transition rules are associated with
corresponding interfaces of the modules.