On tri-state buffer inference in HDL synthesis

Typical synthesizers adopt ad hoc methods to solve the tri-state buffer inference in HDL synthesis. It results in that typical synthesizers may generate wrong netlist whose behaviors are not consistent with that of input HDL description. This paper proposes a systematical method to conduct the tri-state buffer inference correctly. The result comparisons show that our approach can infer the tri-state buffers correctly and does not suffer from the mismatches between synthesis