Technical Session [Posters]

Tuesday, March 5, 2024

• 1019: RTL Transformation Methods to Achieve Order of Magnitude TAT Improvement in VLSI Design

  11:00 am — 12:30 pm • Poster Session

  Ashfaq Khan, Intel Corporation; Shuhui Lin, Intel Corporation; Daniel Standring, Intel Corporation; Adam Campos, Intel Corporation; Satish Venkatesan, Intel Corporation; Soowan Suh, Intel Corporation

• 1020: Arithmetic Overflow Verification using Formal LINT Tools

  11:00 am — 12:30 pm • Poster Session

  Kaiwen Chin, Renesas; Esra Sahin, Renesas; Kranthi Pamarthi, Renesas

• 1024: Innovative 4-State Logic Emulation for Power-aware Verification

  11:00 am — 12:30 pm • Poster Session

  Kyoungmin Park, Samsung Electronics; Brad Budlong, Cadence Design Systems; Hyundon Kim, Samsung Electronics; Danny Yi, Cadence Design Systems; Gibs Lee, Cadence Design Systems; Jaehunn Lee, Samsung Electronics; Chulmin Kim, Samsung Electronics; Jaemin Choi, Samsung Electronics; Kijung Yoo, Samsung Electronics; Youngsik Kim, Samsung Electronics; Yogesh Goel, Cadence Design Systems; Seonil Brian Choi, Samsung Electronics

• 1029: A Statistical and Model-Driven Approach for Comprehensive Fault Propagation Analysis of RISC-V Variants

  11:00 am — 12:30 pm • Poster Session

  Endri Kaja, Infineon Technologies AG; Nicolas Gerlin, Infineon Technologies AG; Ungsang Yun, Infineon Technologies AG; Jad Al Halabi, Infineon Technologies AG; Sebastian Prebeck, Infineon Technologies AG; Dominik Stoffel, Rheinland-Pfälzische Technische Universität; Wolfgang Kunz, Rheinland-Pfälzische Technische Universität; Wolfgang Ecker, Infineon Technologies AG

• 1054: The beginning of new norm: CDC/RDC constraints signoff through functional simulation

  11:00 am — 12:30 pm • Poster Session

  Suhas D S, Intel; Ponsankar Arumugam, Intel; Deepmala Sachan, Intel; Ritesh Jain, Intel

• 1061: Metric Driven Microcode Verification: Navigating Microcode Coverage Complexities

  11:00 am — 12:30 pm • Poster Session

  Seungyeon Yu, Samsung Electronics, Memory Division; Damin Son, Samsung Electronics, Memory Division

• 1065: Shift Left on Timing Constraints Verification: Beyond Typical Front-End Execution

  11:00 am — 12:30 pm • Poster Session

  Vineeth B, Intel Technology India Pvt Ltd; Deepmala Sachan, Intel Technology India Pvt Ltd; Ritesh Jain, Intel Technology India Pvt Ltd

• 1088: On Analysis of RDC issues for identifying Reset tree design bugs and further strategies for Noise Reduction

  11:00 am — 12:30 pm • Poster Session

  Farhad Ahmed, Siemens EDA; Manish Bhati, Siemens EDA; Lyle Benson, Siemens EDA

• 1102: Interoperability Validation Without Direct Integration

  11:00 am — 12:30 pm • Poster Session

  Nicholas Nuti, Intel Corporation; Srinivasan Jambulingam, Intel Corporation

• 1117: AI-based Algorithms to Analyze and Optimize Performance Verification Efforts

  11:00 am — 12:30 pm • Poster Session

  Sharada Vajja, Google LLC; Raghu Alamuri, Google LLC; Saksham Mehra, Google LLC

• 1124: Achieving End-to-End Formal Verification of Large Floating-Point Dot Product Accumulate Systolic Units

  11:00 am — 12:30 pm • Poster Session

  Emiliano Morini, Intel; Bill Zorn, Intel; Disha Puri, Intel; Madhurima Eranki, Intel; Shravya Jampana, Intel

• 1131: Towards Efficient Design Verification – Constrained Random Verification using PyUVM

  11:00 am — 12:30 pm • Poster Session

  Deepak Narayan Gadde, Infineon Technologies; Suruchi Kumari, Infineon Technologies; Aman Kumar, Infineon Technologies

• 1140: Enabling True System-Level, Mixed-Signal Emulation

  11:00 am — 12:30 pm • Poster Session

  Nimay Shah, Analog Devices Inc.; Pranav Dhayagude, Analog Devices Inc.; Paul Wright, Analog Devices Inc.; Raj Mitra, Cadence Design Systems Inc.

• 1141: A UVM SystemVerilog Testbench for Directed and Random Testing of an AMS Low-Dropout Voltage Regulator

  11:00 am — 12:30 pm • Poster Session

  Charles Dancak, Betasoft Inc.

• 1145: Scalable Functional Verification using Portable Stimulus Standard

  11:00 am — 12:30 pm • Poster Session

  Santosh Kumar, Qualcomm Technologies Inc; Yogish Raja, Qualcomm Technologies Inc; Geetika Agrawal, Qualcomm Technologies Inc; Karthikeyan Sugumaran, Qualcomm Technologies Inc; Arjun Vazhayil, Qualcomm Technologies Inc; Tommy Brunansky, Qualcomm Technologies Inc.