the symbol library must be generated by the most updated syn2SymDB utility. The syn2SymDB utility extracts the timing information from the Synopsys.lib file