Leveraging Model Based Verification for Automotive SoC Development

Aswini Kumar Tata, Bhanu Singh, Sanjay Chatterjee, Eric Cigan, Kamel Belhous, Surekha Kollepara