Accellera Systems Initiative is an independent, not-for profit organization dedicated to create, support, promote, and advance system-level design, modeling, and verification standards for use by the worldwide electronics industry. We are composed of a broad range of members that fully support the work of our technical committee to develop technology standards that are balanced, open, and benefit the worldwide electronics industry. Leading companies and semiconductor manufacturers around the world are using our electronic design automation (EDA) and intellectual property (IP) standards in a wide range of projects in numerous application areas to develop consumer, mobile, wireless, automotive, and other “smart” electronic devices. Through an ongoing partnership with the IEEE, standards and technical implementations developed by Accellera Systems Initiative are contributed to the IEEE for formal standardization and ongoing governance.

Session Chair: Ann Keffer

[1062] Lessons Learned Using Formal for Functional Safety
- Doug Smith, Doulos
[1072] A Comprehensive Safety Verification Solution for SEooC Automotive SoC
- Gaurav Kumar Yadav, Samsung Semiconductor India R&D; Debasis Mishra, Samsung Semiconductor India R&D; PrashantKumar Shukranath Sonavane, Samsung Semiconductor India R&D; Aniruddha N Anavatti, Samsung Semiconductor India R&D; Pattan Farooq Khan, Samsung Semiconductor India R&D; Garima Srivastava, Samsung Semiconductor India R&D
[1140] A Novel Approach for faster diagnostic coverage closure aided by STL of CPU Cores
- Naveen Srivastava, Samsung Semiconductor India R & D; Amresh Kumar Lenka, Samsung Semicoductor India R&D; Varun Kumar C, Samsung Semiconductor India R & D; Subramanian R, Samsung Semiconductor India R & D; Sekhar Dangudubiyyam, Samsung Semiconductor India R & D
[1055] Automated Formal Verification of Area-Optimized Safety Registers in Automotive SoCs
- Shuhang Zhang, Infineon Technologies AG; Bryan Olmos, Infineon Technologies AG

Session 2: Functional Safety