Added library file for synthesis