DVCLUB Europe | Using ML and AI in EDA Tools

AI-based Test Content Synthesis: An Example of AI Complexity Management

Conference:DVCLUB Europe | Using ML and AI in EDA Tools
Speaker:Adnan Hamid, President and Chief Technology Officer, Breker Verification Systems, Inc.
Abstract:EDA tools in general represent one of the extremes of complexity reduction through automation. However, there are areas of EDA where the sheer complexity of the problem is a daunting challenge for the best engineering minds, and it is these where AI can provide assistance. One of these is high-coverage test content generation for complex blocks and SoCs.

Breker’s Test Suite Synthesis technology makes extensive use of AI algorithms in order to chorale the relevant state-space that needs to be verified. Combining this content generation process with specification to relevant state-space synthesis allows an optimization in the number of tests generated for a given coverage objective for block simulation up to SoC emulation, thus allowing hard to envisage corner-cases to be fully explored.  This presentation will show how AI is applied to this problem and the resulting improvements.

3 Key Points:

  • AI provides engineering support in the streamlining of highly complex EDA tool application, such as test content synthesis
  • For test content synthesis, AI provides a fundamental technology platform that allows for the efficient generation of high-coverage test content
  • This approach has been proven to accelerate block level simulation and uncover complex corner cases in SoC emulation
Speaker Biography:Adnan is the President and CTO of Breker and the inventor of its core technology. Noted as the father of Portable Stimulus, he has over 20 years of experience in functional verification automation, much of it spent working in this domain. Prior to Breker, he managed AMD’s System Logic Division, and also led their verification team to create the first test case generator providing 100% coverage for an x86-class microprocessor. In addition, Adnan spent several years at Cadence Design Systems and served as the subject matter expert in system-level verification, developing solutions for Texas Instruments, Siemens/Infineon, Motorola/Freescale, and General Motors. Adnan holds twelve patents in test case generation and synthesis. He received BS degrees in Electrical Engineering and Computer Science from Princeton University, and an MBA from the University of Texas at Austin.

Sponsors

DVCLUB Europe is made possible through the generosity of our sponsors.