close By using this website, you agree to the use of cookies. Detailed information on the use of cookies on this website can be obtained on OneSpin's Privacy Policy. At this point you may also object to the use of cookies and adjust the browser settings accordingly.

Osmosis 2021 | November 3–4 | Virtual Event


What is Osmosis?

Osmosis is the name for all users’ group events for customers and partners of OneSpin: A Siemens Business, provider of electronic design automation (EDA) tools for integrated circuit (IC) integrity verification.

Though the Osmosis name is an acronym (OneSpin Meeting oSolutions, Innovation, & Strategy), it was chosen intentionally because of what the term osmosis represents: movement in two directions. In this case, we wish to underscore a two-way transfer of knowledge, which is essential to the success and value of any users’ group event. Osmosis includes presentations from OneSpin experts and users of our OneSpin 360™ suite of verification solutions. The event also provides an open forum for discussion and feedback. It is an opportunity for all participants not only to teach, but also to learn. 

Day 1 At-A-Glance

Wednesday, November 3, 2021 | 13:00 CET (UTC +1)

Keynote Address: Ravi Subramanian, Senior Vice President and General Manager, and Raik Brinkmann, Senior Director Engineering, Siemens Digital Industries Software

User Case Studies:

OneSpin Technical Deep Dives:

  • Functional Correctness
  • FPGA Retargeting/EC-FPGA
  • RISC-V & Processor Verification

Day 2 At-A-Glance

Thursday, November 4, 2021 | 13:00 CET (UTC +1)

Keynote Address: Raik Brinkmann, Senior Director Engineering, Siemens Digital Industries Software

User Case Studies:

OneSpin Technical Deep Dives:

  • FMEDA Automation & Safety
  • SystemC/C++ 
  • Trust & Security

Read on for the complete agenda—including session times and abstracts—and additional details!

Full Agenda for Osmosis 2021

Click to expand each day's agenda details

All times are shown in Central European Time (CET / UTC +1) and are subject to change

Meet Our Speakers

Get to know our keynote speakers and OneSpin 360 users

Speakers are listed in order of appearance on the program

Ravi Subramanian | Siemens Digital Industries Software

Senior Vice President and General Manager, IC Verification

Ravi Subramanian is a senior vice president and general manager responsible for all IC verification at Siemens Digital Industries Software. With over 20 years of experience in the semiconductor, software, wireless, and electronic design industries, Ravi is excited about the transformations electronics, software, and semiconductors enable across multiple industries. 

Ravi is a respected business leader, technologist, and entrepreneur. He is passionate about customer success, the business of technology, building teams, and the fuel of innovation.

At Osmosis, Ravi will partner with Raik Brinkmann to deliver the opening keynote address on Day 1: What OneSpin's Acquisition by Siemens Means For Formal Verification—and Users Like You

Raik Brinkmann | Siemens Digital Industries Software

Senior Director of Engineering

Dr. Raik Brinkmann is senior director of engineering at Siemens Digital Industries Software. Raik brings to the table more than 20 years of broad expertise in management, verification, and industrial R&D—skills which he honed to a fine edge during his tenure as president and CEO of OneSpin from 2012 until the company's acquisition by Siemens in 2021.

Raik holds a Diplom Informatiker (equivalent to a Master of Computer Science) from the Clausthal Technical University, Germany, and a Doktoringenieur (Dr.-Ing., equivalent to a PhD in Engineering) from the Department of Electrical Engineering at the University of Kaiserslautern, Germany.

At Osmosis, Raik will partner with Ravi Subramanian to deliver the opening keynote address on Day 1: What OneSpin's Acquisition by Siemens Means For Formal Verification—and Users Like You. He will also present the Day 2 keynote, Expanding the Reach of Formal.

Pradeep Kumar Valipe | Xilinx

Senior Staff Design Engineer

Pradeep Kumar Valipe is a senior staff design engineer at Xilinx, where he has been working for the past seven years. Though he has a total of more than 20 years of experience in verification, Pradeep has been working with formal over the last five to six years and has been amazed by the wide variety of problems it can solve. 

At Osmosis, Pradeep will present a case study entitled Merging Formal and Simulation Verification Metrics Using OneSpin 360™.

Sujith Antony Koyan Paulose | ams OSRAM

Senior Staff Engineer (Digital Verification)

Sujith Antony is a senior staff engineer at ams OSRAM, where he is part of the Design Enablement Digital Team, responsible for design verification methodology development and deployment. Sujith has 15+ years of experience in verification using simulation techniques and formal methodology on medium- and large-scale designs. He holds a master’s degree in VLSI design from Manipal University.

At Osmosis, Sujith will present a case study entitled PortableCoverage: Bringing Formal Results into vManager.

Parag Rao | Xilinx

Senior Design Verification Engineer

Parag Rao is a senior design verification engineer at Xilinx. His key focus is functional and performance verification of a custom Xilinx VLIW processor that supports both integer and floating-point data types. Parag and his team have embraced formal verification for various custom-built floating-point instructions that their architecture supports and have found it an extremely useful value-add to their verification flow.

At Osmosis, Parag will present a case study entitled Floating-Point Unit Formal Verification.

Jehan-Philippe (JP) Barbiero | Kalray

Hardware Verification Manger

Since 2017, Jehan-Philippe Barbiero is the Hardware Verification Manager at Kalray, where he leads the functional and safety verification of the MPPA (Massively Parallel Processor Array). With over 20 years of experience in functional verification, including processors and complex IP (e.g., Ethernet and PCIe), Jehan-Philippe was certified as a functional safety Red Belt in 2019. Jehan-Philippe received a degree in microelectronic engineering from INP Grenoble in 1997.

At Osmosis, Jehan-Philippe will present a case study entitled Complex FMEDA Made Simple.

Gordon Cheung | MaxLinear

Technical Director

Gordon Cheung joined MaxLinear Inc. (formerly NanoSemi) in 2019. He has over 30 years of design experience in various fields. In his role as Technical Director of ASIC Design Engineering at MaxLinear, he has developed communication IPs for 5G applications.

For Osmosis, Gordon has co-authored a case study entitled Formal Verification of SystemC Designs, which will be presented by OneSpin's Vlada Kalinic. 

Vivian Guzman Kammler | Sandia National Laboratories

Technical Program Lead, Embedded Systems Analysis

Vivian Kammler joined Sandia National Laboratories in 2001, where she has performed design, verification, and assessments of microelectronics used in radar, military GPS, and nuclear life extension programs. She currently is a technical program lead of research teams investigating pre-and post-silicon verification of ASICs and FPGAs, hardware Trojan detection in intellectual property, and data-based risk assessments for chip manufacture and design environments. Vivian received her Bachelor of Science in Engineering from Harvey Mudd College and Master of Science in Computer Engineering from Northwestern University.

At Osmosis, Vivian will present a case study entitled Evaluating Capabilities for Assurance of Third Party Intellectual Property.