Synthesis of Timed Circuits Based on Decomposition | IEEE Journals & Magazine | IEEE Xplore