SynthesisandScriptingTechniquesforDesigningMulti-AsynchronousClockDesigns