A Comprehensive Safety Verification Solution for SEooC Automotive SoC

Gaurav Kumar Yadav, Debasis Mishra, Pattan Farooq Khan, Aniruddha N Anavatti, Prashant Kumar Sonavane, Garima Srivastava