Model of the DS50PCI402 or DS80PCI402 for Hyperlynx

Hello,

I would like to simulate an x4  PCIe gen2 link that features either the DS50PCI402 or the DS80PCI402.

Could you please, provide me the model of any of these devices (or both) for simulating with Hyperlynx (HSPICE, etc.)?

Thank you.