Academy Seminars

  • Design & Verification in the SoC Era
  • The challenges of verification continue growing exponentially. Through advances in technology and methodology, verification productivity has improved dramatically over the past decade. Yet, the continuing growth in the size of verification teams and the amount of project time dedicated to verification indicate the need for greater advances in productivity.

    As we enter the era of SoCs, verification complexity will be driven by increased design complexity of multiple cores running many applications to deliver on-demand content in consumer devices such as tablets and smartphones.

    It is clear that verification must be transformed in order to deliver the productivity that will enable the next generation of multi-core SoC consumer electronics. Innovative technologies that deliver 10-100x advances in verification are required. As the impact of software in electronic systems grows, verification solutions must expand to enable co-verification with advanced verification technology. Comprehensive solutions and methodology will integrate these innovative tools and enable real-time progress tracking, trend analysis and increased automation and efficiency of the verification process.
  • Advanced Verification Technologies in the Real World
  • No one argues that the challenges of verification are growing exponentially. What is needed to meet these challenges are solutions – tools, methodologies and process that deliver revolutionary results with evolutionary enhancements to existing flows.  This tutorial will include the technical details that engineers need today, blended with real users giving examples, results and advice for how these technologies were deployed on their projects.
  • Assertion-Based Verification for FPGA and IC Design
  • Industry Perspective and Opportunities in Assertion-Based Verification with SystemVerilog Training.

    A wealth of material has been published over the past fifteen years specifically related to the theory and technical aspects of property languages and assertion-based techniques. However, as any field of study matures, it becomes necessary to determine if the theories, algorithms, and concepts have grown beyond the bounds of research to become an integral solution to a problem in industry.