VHDL in sicherheitskritischen Anwendungen

Von der Entwicklung von C-Software für sicherheitskritische Anwendungen 
wie der Automobil- und Medizintechnik sind unterschiedliche Prozesse und 
Schritte zur Code-Validierung bekannt. Unter anderem ist es bei 
bestimmten Anwendungen üblich, Code-Zeilen einzeln prüfen zu lassen, was 
von einschlägigen Stellen angeboten wird.

Wie verhält es sich dabei mit VHDL? - Wird das auch gemacht?

Wer lässt was von wem prüfen?

Gefunden habe ich dazu nur dies hier:
Beitrag "FPGAs in sicherheitskritischen Anwendungen"