[trsohmers]

They do provide VHDL models for at least some components I have seen, but Verilog is what they do seem to prefer)