ISO 26262 demands a heightened level of Systematic Verification test content that is directly aligned with the design requirements. Requirements must be broken down into individual components and implementation details, with a test defined to match each item. The classic V-model is used to decompose the requirements and then build up this test content. This presentation will demonstrate a method whereby the requirements may be more directly modelled, which may be used to synthesize tests to match. Furthermore, it will be shown how these tests form test vectors to be used for random testing, and can even be directly leveraged to create production STL tests to be used for BIST during actual device usage.

Key Points:

• Aligning requirements to test content is a critical component of ISO 26262, and is difficult to manage.
• Synthesizing tests from requirement models enables rapid and comprehensive ISO 26262 Systematic verification.
• The same test content can be leveraged for Random fault testing and STLs for product STLs.

Dave Kelf, is the CEO of Breker Verification Systems, the leader in test content synthesis and SystemVIPs. Dave most recently served as vice president of worldwide marketing solutions at formal verification provider OneSpin Solutions. Earlier, Kelf was president and CEO of Sigmatix, Inc. He worked in sales and marketing at Cadence Design Systems and was responsible for the Verilog and VHDL verification product lines. As vice president of marketing at Co-Design Automation and then Synopsys, Kelf oversaw the successful introduction and growth of the SystemVerilog language, before running marketing for Novas Software, noted for the Verdi product line, which became Springsoft and is now part of Synopsys.

Dave holds a Bachelor of Science degree in Electronic Computer Systems from the University of Salford and a Master of Science degree in Microelectronics from Brunel University, both in the U.K., and an MBA from Boston University.