Which HDL (hardware description language) Tesla is using to program the chips for their cars?

I am learning VHDL at a university in Vivado and heard that in America there are using Verilog. So I wonder, which Hardware description language is using Tesla for programming it’s chips?

>Solution :

You can try to find what kind of workers they are looking for in Tesla. Five minute search in google tells that they hire both VHDL and Verilog engineers.