I finally found the itf file in our library. As I asked the synopsys guys, they told me that the library is complete. So, the problem changed!
Is there any command that automatically transform ITF format to ICT?
By the way, May I have your personal email? Thanks