Executive Development Programme in Practical Assertion-Based Verification for Embedded Designs

This course is designed for senior engineers and managers in the semiconductor and embedded system industries. It equips participants with advanced skills in practical assertion-based verification (ABV) techniques to enhance design quality and reduce time-to-market.

Attendees will gain hands-on experience with modern ABV tools and methodologies, learn to develop effective assertions for complex embedded systems, and understand how to integrate ABV into existing verification workflows.

1. 1. Introduction to Assertion-Based Verification (ABV): This module introduces learners to the foundational concepts of ABV, explaining the principles, benefits, and best practices for implementing ABV in embedded design verification. Learners will gain a solid understanding of the verification process and the tools used in ABV.
2. 2. Assertion-Based Modeling and Specification: In this module, learners will study how to create effective assertions for embedded system models. They will learn about different assertion types and specifications, and how to write clear, concise, and executable specifications.
3. 3. Verification Methodologies and Strategies: This module focuses on various methodologies and strategies for ABV, including directed and random testing, property checking, and counterexample generation. Learners will understand how to choose the right strategy for different verification scenarios.
4. 4. Tools and Environments for ABV: This module provides an in-depth look at the tools and environments used in ABV. Learners will explore both commercial and open-source tools, and learn how to integrate them into their verification workflows.
5. 5. Practical Application of ABV in Embedded Systems: Learners will apply ABV techniques to real-world embedded systems through case studies and hands-on exercises. This module aims to bridge the gap between theory and practice, ensuring learners can effectively use ABV in their projects.
6. 6. Advanced Assertion Techniques: This module delves into advanced assertion techniques, including temporal logic, symbolic execution, and formal methods. Learners will gain the skills to develop more sophisticated and powerful verification strategies.
7. 7. Performance Optimization and Scalability: In this module, learners will learn how to optimize ABV performance and handle large-scale verification tasks. Topics include parallel verification, performance tuning, and strategies to manage complex designs.
8. 8. Security and Privacy in ABV: This module covers the integration of security and privacy considerations into ABV. Learners will understand how to verify security properties and implement privacy-preserving techniques in embedded systems.
9. 9. Industry Standards and Best Practices: This module discusses industry standards and best practices for ABV in the context of embedded systems. Learners will learn about regulatory requirements and how to ensure their verification processes meet these standards.
10. 10. Continuous Improvement and Future Trends: The final module focuses on continuous improvement and emerging trends in ABV. Learners will explore how to stay updated with the latest advancements, and how to improve their ABV skills and strategies over time.