A Comprehensive Safety Verification Solution for SEooC Automotive SoC

Author(s):
Gaurav Kumar Yadav, Debasis Mishra, Pattan Farooq Khan, Aniruddha N Anavatti, Prashant Kumar Sonavane, Garima Srivastava