1. A method for designing a synchronous digital system comprising: scheduling state transition rules for application, if enabled, in a single clocked cycle of the synchronous digital system to achieve a result equivalent to application of the rules in a predetermined order; specifying 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 a succeeding one of its interfaces; and associating the scheduled state transition rules with corresponding interfaces of the modules.