WEDNESDAY June 27, 3:30pm - 5:00pm | Room 2008
TOPIC AREA: IP, DESIGN
KEYWORD: TEST & VERIFICATION, ARCHITECTURE & SYSTEM DESIGN
EVENT TYPE: IP TRACK REVIEWED

SESSION 62
Innovative Solutions for Typical IP Challenges
Chair:
Chirag Dhruv - Advanced Micro Devices, Inc., Santa Clara, CA
This session addresses some of the upcoming trends in IP development, and how complex IP design and verification challenges are being addressed. We will review how machine learning can help solve complex IP verification challenges, how Formal Verification can address some of the complex IP challenges, and how SOC Projects can reuse IP Management to enable efficient planning and management. The speakers will share their experience about the challenges and how they have resolve those, and also touch on some of the improvement opportunities.

Thank You to Our IP Track Sponsor:


62.1Topology Specification Management based on IP-XACT
 Speaker: Ayoung Kwon - Samsung Electronics Co., Ltd., Hwaseong, Republic of Korea
 Authors: Ayoung Kwon - Samsung Electronics Co., Ltd., Hwaseong, Republic of Korea
Wonkyung Lee - Samsung Electronics Co., Ltd., Hwaseong-si, Republic of Korea
Yongsoo Kim - Samsung Electronics Co., Ltd., Hwaseong-si, Republic of Korea
Youngsik Kim - Samsung Electronics Co., Ltd., Hwaseong-si, Republic of Korea
Seonil Brian Choi - Samsung Electronics Co., Ltd., Hwaseong-si, Republic of Korea
62.2Overcoming RTL: The Most-adaptable Open-source RISC-V Core
 Speaker: Steven F. Hoover - Redwood EDA, Shrewsbury, MA
 Author: Steven F. Hoover - Redwood EDA, Shrewsbury, MA
62.3Putting the I in PLM: IPLM Enables a Connected Requirements-driven SoC Methodology
 Speaker: Michael C. Munsey - Methodics, Inc., San Francisco, CA
 Author: Michael C. Munsey - Methodics, Inc., San Francisco, CA
62.4An Automated Approach for FPU Arithmetic C-RTL Formal Verification
 Speaker: Aditya Tandon - Arm, Ltd., Cambridge, United Kingdom
 Authors: Aditya Tandon - Arm, Ltd., Cambridge, United Kingdom
Aarti Gupta - Arm, Ltd., Cambridge, United Kingdom
Ian G. Clifford - Arm, Ltd., Cambridge, United Kingdom
62.5Machine Learning in Arm CPU Verification
 Speaker: Nagesh Loke - Arm, Ltd., Austin, TX
 Author: Stan Sokorac - Arm, Ltd., Austin, TX
62.6Towards Fault Resilient System IP Design
 Speaker: John Xu - Arm, Ltd., Austin, TX
 Author: John Xu - Arm, Ltd., Austin, TX