The synthesis of combinational circuits containing hazards