Session Title | Abstract | Slides |
Continuous Integration (CI) Driving Execution Efficiency / DevOps - Kevin Campbell | Technical Product Manager |
Designer focused tools are proven solutions that help you detect issues as early as possible in the design cycle; reducing costs, and driving predictable schedule execution. Using these solutions in a continuous integration environment -- where design quality is checked at every code check in and at other scheduled intervals -- product teams improve efficiency across the board. Additionally this directly helps designers and the consumers other their IP by improving the quality of their code. | PDF ![]() |
Continuous Integration (CI) / DevSecOps - Marty Rowe | Sr. Applications Engineer |
Modern systems and products rely on complex microelectronic components now more than ever to monitor, control and process critical information. Due to their importance in the system or product, an exploit of these devices may result in a risk to personal safety, financial loss, exposure of personal information, and operation failure. Functional verification of these devices requires thorough methods, and verifying that the ICs in the system are free of these exploits requires even more attention. Siemens' OneSpin Trust and Security tools and apps have technologies built upon world-class formal engines, and provide quantitative data verification results desired in emerging cybersecurity standards. In this presentation we will introduce apps that provide an automated assessment platform, perform processor verification, and offer completeness checking to perform security verification in your IC. | PDF ![]() |
When it Comes to Artificial Intelligence and Machine Learning, Siemens Has You Covered - Tom Fitzpatrick | Strategic Verification Architect |
You may have been told many different things about what AI/ML can do in the area of functional verification, but this presentation will give you the real story. Beginning with an overview of what AI/ML actually means and what is actually available today, we will share how we are incorporating this exciting technology across our product portfolio. One key area where we’re seeing great results is in Verification Management, where our Verification IQ platform incorporates AI/ML in a data-driven verification approach to coverage and product lifecycle management. But as important as AI/ML is to the future of verification, it’s not the only area where we’re investing. We’ll also cover other major investments we’re making across our Questa family of verification tools, from Simulation to Design Solutions and beyond, all with the aim of making it easier for you to ensure that your designs will work correctly on the first pass. | PDF ![]() |
Formal Model Checking Made Easy - Marty Rowe | Sr. Applications Engineer |
Everyone wants exhaustive verification, and thus people want to learn more about formal property checking flows and tools. But they either don’t where to start, or they are afraid that the learning curve will be protracted and confusing. Good news: in this session anyone who is familiar with VHDL, Verilog, or SystemVerilog, and general verification practices, can learn the basics of formal. You will learn the basics of properties, how you can apply property checking to finding difficult corner case bugs, and easy-to-follow steps for verifying interfaces and other common design structures, as well as general design exploration. | PDF ![]() |
Functional Verification on Cloud: Opportunity and Challenge - David Lidrbauch | Solutions Manager, DVT Strategic Marketing |
Cloud's dramatic growth is driven by hopes for better throughput, easier workload management, and lower costs. However, you may be asking yourself, "Really? Can renting compute and data storage be a better value than my on-premises data center?” Naturally, Verification Engineers are skeptical about the new complexity, security risks, and costs that come with a cloud-based environment and concerned about how it might disrupt how they get things done. However, Questa customers have used cloud for peak scaling capacity for decades. We will share some of our insights gained working with verification teams to scale projects to many 10's of thousands of simulations run on cloud. From these efforts to find more bugs faster and close coverage earlier, we are learning how cloud’s almost-unlimited-capacity brings new challenges and new potential for innovation, delivering new efficiencies and higher-throughput. Attend this talk to hear about how we are defining best known practices | PDF ![]() |
*You may need to disable your browser's pop-up blocker (or add *.verificationacademy.com to your allow list) in order to view the slides.