Session 5A: AI and Machine Learning for Verification & CoverageSession 5B: Formal & Symbolic Approaches to Digital VerificationSession 5C: Mixed-Signal and Power-Aware VerificationSession 5D: Virtual Prototyping and System-Level SimulationSession 5E: Functional Safety and SecuritySession 6A: Next Generation UVM TestbenchesSession 6B: Innovative and Reusable Verification MethodologiesSession 6C: Advances in Virtual Platform IntegrationSession 6D: Debugging and Formal Methods in VerificationSession 6E: AI and Automation in Verification WorkflowsSession 7A: Scalable Verification through Automation and Formal MethodsSession 7B: Coverage Reuse and Model Based UVMSession 7C: Mixed Signal Verification and AutomationSession 7D: Virtual Prototyping and Digital Twin ApplicationsSession 7E: AI and Infrastructure
