NVIDIA
System-on-a-chip Product Lines
NVIDIA plans to upgrade select security-critical firmware software, rewriting it from C to Ada and SPARK to increase verification efficiencies to achieve compliance with the functional safety standard ISO-26262.
Last Updated: 7/29/2021
Posted on: 2/27/2019