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 on Solutions, 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)
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
- 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 detailsAll 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
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.