close By using this website, you agree to the use of cookies. Detailed information on the use of cookies on this website can be obtained on OneSpin's Privacy Policy. At this point you may also object to the use of cookies and adjust the browser settings accordingly.

Xilinx talks Safety
with OneSpin

Sagheer Ahmad about Xilinx's view on verification of safety-critical automotive applications

Sasa Stamenkovic, senior field application engineer, sat down with Xilinx's senior director of architecture, Sagheer Ahmad, to speak about the challenges of moving into the automotive space even for a company with longstanding experience in other safety-critical domains.

In their brief interview, they cover the difference between systematic and random failures, and the impact on the development flow. Sagheer claims that formal already plays a significant role in the flow for systematic verification. He also states that more tools are needed that focus on random fault analysis, diagnostic coverage, and safety mechanisms.


Watch the full video of Sasa's talk with Xilinx


Contact us if you want to learn more about our safety-critical verification solutions

OneSpin offers a comprehensive Safety-Critical Verification Solution with a range of formal tools and techniques providing a complete verification flow to eliminate systematic faults and verify that a high proportion of random faults will be detected and handled by the device. The solution includes advanced coverage techniques, fault injection and detection, and qualification for industry safety standards.