Join OneSpin users and experts for our first ever users' group!
OneSpin is growing, and we are proud to announce the launch of our first ever users' group event, Osmosis. This all-day event centers on knowledge transfer among our IC integrity experts and our users and will culminate in a traditional Bavarian dinner in a festive setting.
- Keynote on IC Integrity from OneSpin's President and CEO Raik Brinkmann
- Technical deep-dives on:
- Functional Correctness
- Presentations from OneSpin users detailing their design successes
- Face time with our Product Managers in focused small group discussions at lunchtime
- SnApp Notes Live and AMA (Ask Me Anything): interactive demos and Q&A session with our Application Engineers and Product Managers
Full Agenda for Osmosis 2019
We are pleased to present a packed technical agenda for our inaugural users' group event:
09:00 Opening Remarks / Welcome – Rob van Blommestein, Head of Marketing
09:15 Keynote – IC Integrity in Today’s Evolving World – Raik Brinkmann, President & CEO
09:45 Functional Correctness - OneSpin 360 DV Update – Sven Beyer, Product Manager Design Verification / Tobias Welp, Engineering Manager
10:15 User Presentation 1: Antti Rautakoura, Nokia - Verification Planning and Management
11:00 Functional Safety Meets Functional Verification – Jörg Grosse, Product Manager Functional Safety
12:00 Lunch with the Experts
13:00 Assuring Your Device Implements Your Specification – Tobias Welp, Engineering Manager
13:30 User Presentation 2: Jürgen Dennerlein, Framatome - Equivalence Checking in the V&V of FPGAs for Nuclear Applications
14:00 Security Verification in Your Device – John Hallman
15:15 RISC-V Verification – Sven Beyer, Product Manager Design Verification / Nicolae Tusinschi, Product Specialist Design Verification
16:15 User Presentation 3: Keerthi Devarajegowda - Infineon Munich
16:45 Networking Interactive Session: AMA (Ask Me Anything) and SnApp Notes Live – Vladislav Palfy, Director Application Engineering
17:45 Closing Remarks, Gifts, Raffle – Brett Cline, Senior Vice President Sales
18:00 Traditional Bavarian Dinner – Wirtshaus in der Au
Meet our users
Discover the OneSpin users who are going to present at this year's Osmosis event.
Keerthikumara Devarajegowda received his Master’s degree from Technische Universität Kaiserslautern, Germany in the year 2016. He is currently with Infineon Technologies AG and is also pursuing his PhD at Technische Universität Kaiserslautern, Germany under the guidance of Dr. Wolfgang Ecker and Prof. Wolfgang Kunz. His research interests include formal verification, digital design modeling and automation techniques.
Presentation: Processor Verification with Symbolic Quick Error Detection Using Symbolic Initial States: a RISC-V case study
With the increasing complexity of microarchitectures and the growing demand for highly optimized and individually customized processors, for example for Internet of Things (IoT) applications, processor verification is an increasing challenge in SoC design. The manual efforts and verification expertise required are the major hurdles to adaptation of formal techniques for processor verification.
This talk will highlight the application of a formal processor verification technique --- Symbolic Quick Error Detection Using Symbolic Initial States (S²QED) --- on a RISC-V processor core. S²QED is micro-architecture independent and is very powerful in finding hard to find logic bugs in processor pipelines. The approach is highly automated and requires minimal manual effort. The results of the application of the technique on a RISC-V processor core will be discussed.
SoC/ASIC Verification Specialist and PhD Candidate
Antti Rautakoura is well-versed in verification management, coverage, UVM, formal verification, and emulation platforms. Currently on study leave from Nokia Solutions and Networks to pursue his PhD research around Agile Methods on HW Development, Antti has over ten years of experience with 4G and 5G ASICs with the likes of Nokia Mobile and Renesas Electronics.
Presentation: Coverage Planning and Verification Management
November 2007 to January 2014
Product Development and Manufacturing of Monitoring and Diagnostic System Components; Senior Hardware Developer; Group Head;
Framatome GmbH, Erlangen, Germany
Since February 2014
Product Development; I&C Hardware Development Expert; Platform Architect
Framatome GmbH, Erlangen, Germany
Current Projects: Mechanical Equipment, HPD based Compact Safety Controller, Analog Signal Conditioning
Presentation: Equivalence Checking in the V&V of FPGAs for Nuclear Applications
Date and location
Osmosis: OneSpin Meeting on Solutions, Innovation, & Strategy
Thursday, October 31, 2019
Holiday Inn Munich City Center