Technical Session [Posters]

  • 1019: Rtl Transformation Methods To Achieve Order Of Magnitude Tat Improvement In Vlsi Design

    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

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

  • 1024: Innovative 4-State Logic Emulation For Power-Aware Verification

    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

  • 1054: The Beginning Of New Norm: Cdc/Rdc Constraints Signoff Through Functional Simulation

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

  • 1063: Synthetic Traffic Based Soc Performance Verification Methodology

    Jeonggu Lee, Samsung Electronics Co., LTD.; Taewon Park, Samsung Electronics Co., LTD.; Hyungtae Park, Samsung Electronics Co., LTD.; Taeyoung Jeon, Samsung Electronics Co., LTD.; Hyunjae Woo, Samsung Electronics Co., LTD.; Youngsik Kim, Samsung Electronics Co., LTD.; Seonil Brian Choi, Samsung Electronics Co., LTD.

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

    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

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

  • 1090: Ml: Shrinking The Verification Volume Using Machine Learning

    Yash Phogat, Arm Inc.; Patrick Hamilton, Arm Inc.

  • 1102: Interoperability Validation Without Direct Integration

    Nicholas Nuti, Intel Corporation; Srinivasan Jambulingam, Intel Corporation

  • 1117: Ai-Based Algorithms To Analyze And Optimize Performance Verification Efforts

    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

    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

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

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

    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

    Charles Dancak, Betasoft Inc.

  • 1145: Scalable Functional Verification Using Portable Stimulus Standard

    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.

  • 1029: A Statistical And Model-Driven Approach For Comprehensive Fault Propagation Analysis Of Risc-V Variants

    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