Presentation
Innovative Multiplatform Framework Boosting 10BaseT Ethernet Verification for Next-Gen Automotive SoCs
DescriptionAbstract: The rapid evolution of automotive System-on-Chips (SoCs) integrating 10BaseT Ethernet subsystems demands advanced verification methodologies to ensure reliability, performance, and safety compliance. This paper presents an innovative multiplatform verification framework designed to address the unique challenges posed by next-generation automotive Ethernet SoCs. By combining simulation, emulation, and formal verification techniques, the framework leverages the strengths of each platform to achieve comprehensive coverage and accelerate verification cycles.
Simulation offers detailed visibility for debugging complex corner cases, emulation enables high-speed execution of large-scale transaction scenarios, and formal methods provide exhaustive protocol property checking. This hybrid approach not only improves verification thoroughness but also significantly reduces time-to-market pressures. The framework supports scalable verification of multidrop topologies and multiple Ethernet instances, essential for diverse automotive applications ranging from advanced driver-assistance systems (ADAS) to infotainment.
A case study on an automotive 10BaseT Ethernet subsystem demonstrates a 15% increase in coverage and a 40% reduction in verification cycle time compared to traditional single-platform approaches. Early detection of critical integration bugs further validates the framework's effectiveness. Future enhancements include integration of AI/ML-driven test generation and extension to emerging automotive Ethernet standards such as 100BaseT1 and Time-Sensitive Networking (TSN). This work establishes a robust foundation for reliable and efficient verification of automotive Ethernet SoCs, supporting the next wave of connected and autonomous vehicles.
Simulation offers detailed visibility for debugging complex corner cases, emulation enables high-speed execution of large-scale transaction scenarios, and formal methods provide exhaustive protocol property checking. This hybrid approach not only improves verification thoroughness but also significantly reduces time-to-market pressures. The framework supports scalable verification of multidrop topologies and multiple Ethernet instances, essential for diverse automotive applications ranging from advanced driver-assistance systems (ADAS) to infotainment.
A case study on an automotive 10BaseT Ethernet subsystem demonstrates a 15% increase in coverage and a 40% reduction in verification cycle time compared to traditional single-platform approaches. Early detection of critical integration bugs further validates the framework's effectiveness. Future enhancements include integration of AI/ML-driven test generation and extension to emerging automotive Ethernet standards such as 100BaseT1 and Time-Sensitive Networking (TSN). This work establishes a robust foundation for reliable and efficient verification of automotive Ethernet SoCs, supporting the next wave of connected and autonomous vehicles.
Event Type
Engineering Poster
TimeMonday, July 275:00pm - 6:00pm PDT
LocationDAC Pavilion, Exhibit Floor