MARCH 2-5, 2015

DoubleTree, San Jose

Conference Sponsor: 

MP Associates, Inc.

WEDNESDAY March 05, 3:30pm - 5:00pm | San Jose/Santa Clara Ballroom



SESSION 12

REGULAR SESSION: Interoperability of Models and/or Tools
Chair:
Harry Foster - Mentor Graphics Corporation



12.1Multi-Language Verification: Solutions for Real World Problems
 Speaker: Vitaly Yankelevich - Cadence Design Systems, Inc.
 Authors: Bryan S. Sniderman - Advanced Micro Devices, Inc.
Vitaly Yankelevich - Cadence Design Systems, Inc.
12.2Leveraging Formal to Verify SoC Register Map
 Speaker: Abdul Elaydi - Marvell Semiconductor, Inc.
 Authors: Abdul Elaydi - Marvell Semiconductor, Inc.
Jose Barandiaran - Cadence Design Systems, Inc.
12.3Solving Next-Generation IP Configurability
 Speaker: Simon Rance - Duolog Technologies Ltd.
 Authors: David Murray - Duolog Technologies Ltd.
Simon Rance - Duolog Technologies Ltd.