[oflordal]

ARMs customer facing code is 100% verilog and this reflects most of the industry.

[trsohmers]

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