• TBUFXL, TNBUFXL: the OE pin is described in the LEF file but not in the liberty file. Also the verilog model is wrong as the OE port is not present and replaced by 1.