1021: Functional Coverage Closure with Python
Seokho Lee, FuriosaAI; Youngsik Kim, FuriosaAI; Suhyung Kim, FuriosaAI; Jeong Ki Lee, FuriosaAI; Wooyoung Choe, FuriosaAI; Minho Kim, FuriosaAI
Technical Session 1 [Functional Coverage Closure]
1074: Automated Generation of Interval Properties From Trace-Based Function Models
Robert Kunzelmann, Infineon Technologies AG, Technical University of Munich; Aishwarya Sridhar, Infineon Technologies AG; Daniel Gerl, Infineon Technologies AG, Technical University of Munich; Lakshmi Vidhath Boga, Infineon Technologies AG; Wolfgang Ecker, Infineon Technologies AG, Technical University of Munich
1062: Tackling Missing Bins: Refining Functional Coverage In Systemverilog For Deterministic Coverage Closure
Jikjoo Lee, Samsung Electronics, Memory Division South Korea; Kihyun Park, Samsung Electronics, Memory Division South Korea; Tony Gladvin George, Samsung Electronics, Memory Division South Korea; Dongkun An, Samsung Electronics, Memory Division South Korea; Wooseong Cheong, Samsung Electronics, Memory Division South Korea; Byungchul Yoo, Samsung Electronics, Memory Division South Korea
1090: Ml: Shrinking The Verification Volume Using Machine Learning
Yash Phogat, Arm Inc.; Patrick Hamilton, Arm Inc.