Leveraging Model Based Verification for Automotive SoC Development Author(s): Aswini Kumar Tata, Sanjay Chatterjee, Kamel Belhous, Surekha Kollepara, Bhanu Singh, Eric Cigan Download