Response from modelling group:
"We had a meeting with the customer on Monday night. The customer is using VCS simulator and needs to figure out how to annotate the SDF to the model. There is no problem with our Verilog models. They need to use the correct VCS switch and in case of problem need to get support from Synopsys."