[1004] A Survey of Predictor Implementation using High-Level Language Co-simulation
Sean Little, Verus Research
[1008] Automating Datapath Verification and Bug Correction via Equality Saturation
Emiliano Morini, Intel Corporation; Samuel Coward, Intel Corporation; Theo Drane, Intel Corporation; Rafael Barbalho, Intel Corporation; George Constantinides, Imperial College London
[1027] Technical Documents Version Management System Based on Large Language Models
Siarhei Zalivaka, SK Hynix
[1028] Continuous Integration in SoC Design: Challenges and Solutions
Wei Liu, sudoinfotech; Jianjun Li, sudoinfotech; Liangfeng Yang, sudoinfotech; Liang Li, sudoinfotech
[1031] Enhancing SDC Verification in SoCs: Heatmap Visualization and Machine Learning Approaches for Optimal Coverage Closure
Seungkyu Baek, Samsung Electronics; Jaein Hong, Samsung Electronics; Moonki Jun, Samsung Electronics; Sungcheol Park, Samsung Electronics
[1033] A Hybrid Verification Approach for Cache Coherent Systems: Functionality and Performance
Jiang-Tang XIao, Mediatek; Yung-Cheng Chen, Cadence; Harish Peta, Cadence; Osmond Yao, Mediatek
[1035] An Effective Digital Logic Verification Methodology of High-Speed Interface IP Using a Configurable AFE Behavioral and C hannel Model
Kiyoon Shim, Samsung electronics; Beomseok Kang, Samsung electronics; Seungsik Eom, Samsung electronics
[1036] Breaking the Formal Verification Bottleneck: Faster and More Comprehensive Testing of Parameterized Modules
Menachem Rappaport, Veriest; Ariel Ansbacher, Veriest; Elchanan Rappaport, Veriest
[1039] Time-travel Debugging for High-level Synthesis Code
Jonathan Bonsor-Matthews, LightBlue Logic Limited; Greg Law, Undo Limited
[1046] Static Structural Analysis and Formal Verification of SoC with Software Safety Mechanisms for Functional Safety
Hyunsun Ahn, Samsung Electronics Co., Ltd.; Euisang Yoon, SIEMENS EDA; Namyul Cho, SIEMENS EDA; Arun Gogineni, SIEMENS EDA; Ann Keffer, SIEMENS EDA; Sungjin Park, SIEMENS EDA; Sungyun Yoo, SIEMENS EDA; Bumju Kim, Samsung Electronics Co., Ltd.; Junhyuk Park, Samsung Electronics Co., Ltd.; Youngsik Kim, Samsung Electronics Co., Ltd.; Seonil Brian Choi, Samsung Electronics Co., Ltd.
[1069] Robust Verification of Clock Tree Network using “Clock Monitor” Integrated by ACRMG
Tejas Dipakkumar Dalal, Samsung Semiconductor India Research; Giridhar S, Samsung Semiconductor India Research; Jeevan Nataraju, Samsung Semiconductor India Research; Garima Srivastava, Samsung Semiconductor India Research
[1078] Real-time synchronization of C model with UVM Testbench
Kirtan Mehta, onsemi
[1084] Reset Sweep Verification for Elimination of Reset Domain Crossing Blind Spots in Design
Nitika Gupta, NXP Semiconductors; Neha Srivastava, NXP Semiconductors; Vivek Yadav, NXP Semiconductors
[1089] Register Access by Intent: Towards Generative RAL based Algorithms
Ahmed Allam, ICpedia
[1098] Achieving Full Liveness Proofs via a Systematic Assume-Guarantee Approach and Iterative Helper Generation
Stella Simic, Qualcomm; Karthik Baddam, Qualcomm
[1104] Formal and Simulation Methods Unite to Rescue the Damsel in Distress—Unclassified Faults
Siri Rajanedi, Analog Devices India pvt ltd; Prashantkumar Ravindra, Analog Devices India pvt ltd
[1112] Traversing the Abyss : Formal exploration of intricate state space
Sakthivel Ramaiah, Cadence Design System; Tanishq Sharma, Cadence Design System; Craig Deaton, Cadence Design System
[1134] Sleipnir: Bringing constraints and randomization to software defined data types
Nikhil Soraba, Microsoft; Leon Cao, Microsoft