Huffman asynchronous machines incorporate a number of hazard problems such as race and cycle. An important step in the synthesis procedure is the elimination of critical races. The multitude of the different techniques that have been proposed to avoid these problems can be classified into two major types: The techniques belonging to the first type, design large circuits which dissipate low powers. The techniques belonging to the second type, design small circuits which dissipate high powers. This paper describes a new technique based on variables insertion scheme especially suited to the automated synthesis of large circuits. The application of the proposed technique to some standard benchmarks shows that the generated circuits realize a trade-off between silicon area and power dissipation relatively to the well- known techniques.

Huffman asynchronous machine, critical race, burst mode machine, state assignment, Mealy machine,asynchronous design.