Hazard-free synthesis and decomposition of asynchronous circuits

摘要

In this paper, we solve the problems of hazard-free synthesis anddecomposition of asynchronous speed-independent circuits for technologymapping. All high fanin gates are decomposed into gates that can beimplemented by the gate library. We first analyze the conditions wherehazards may occur during decomposition and then give correspondingstrategies to solve them. All the proposed algorithms have beenimplemented and applied to the asynchronous benchmarks to verify theircorrectness. Experimental results show that less area is required in ourfinal implementations