Does anyone know if Tesla are using SiFive[1] for their custom silicon design?

[1] https://www.sifive.com