Marmik Soni, Dr. Mike Bartley (Tessolve Semiconductor Pvt Ltd. )

AI is transforming Design Verification (DV) by automating workflows, improving coverage, and reducing cycle times. Tessolve’s AI Center of Excellence (CoE) is driving this shift with AI-powered solutions for testbench automation, assertion generation, constraint optimization, and functional safety flows. This talk will highlight key CoE initiatives, including the Spec Extraction Tool, AI-Assisted Test Plans, Feature extraction, and RAG assisted workflows. We will explore how AI is enhancing efficiency, accuracy, and scalability in verification processes across industries.

Key Points:

• AI era
• AI in Design verification
• Impacts of AI infusion

Dr Mike Bartley is a Sr VP at CoE, Tessolve Semiconductor Pvt Ltd. He is renowned for his expertise in software testing and verification. He holds a Ph.D. in formal verification and has made significant contributions to the industry through innovative methodologies and best practices. Dr. Mike is a respected thought leader, frequently speaking at conferences and authoring numerous industry articles. His work has greatly influenced the reliability and quality of software systems. Marmik Soni is working at CoE, Tessolve and is orchestrating the AI solutions for various Business Units including VLSI, Embedded etc. He is an expert in Applied GenAI in Semiconductor domain and organization level to improve efficiency, accuracy and time cycle optimization.