related documents Synthesis of speed independent circuits based on decomposition Conference Proceeding