The automotive industry is experiencing a rapid shift with the emergence of technologies such as ADAS, autonomous driving, sensor fusion, and edge processing. While these advancements present new opportunities for Auto SoC Design such as high-performance computing, power management, and networking, they also bring significant challenges of reliability, safety, and security that require digital FuSa verification work.Cadence offers a comprehensive solution for digital FuSa verification across its products, from the safety analysis of Midas to the Fault campaign management of Verisium Manager, the safety simulation of Xcelium Safety, and the Jasper FSV App. This FMEDA-driven safety verification flow enables high efficiency in verifying safety mechanisms, achieving diagnostic coverage, and attaining the ASIL level.This paper focuses on the usage of the XFS/Jasper/VM triplet, including a case study of building the DFI flow for a projectA block. We detail the steps, from pure Xcelium good/fault simulation to enabling the Save and Restart feature and leveraging the power of Jasper. As a result, injected fault nodes are reduced from 12,294 to 1,517, and the overall time is shortened from 7.26 hours to 1.43 hours. Additionally, diagnostic coverage is improved by using Jasper FSV App to analyze the UU faults and solve the insufficient stimulus problems.The Cadence digital FuSa verification flow offers an efficient, full-stack solution that streamlines the process of ensuring safety and achieving ASIL levels in the automotive industry.