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: 2/27/2019
Posted on: 2/27/2019