Synchronous Modules: Analysis and Synthesis