Close

Presenter

Kanad Basu
The University of Texas at Dallas
Presentations
Networking
Work-in-Progress Poster
OpenAssert: Towards Open-Source Large Language Models for Assertion Generation
6:00pm - 7:00pm PDT Sunday, June 22 Level 3 Lobby
Research Manuscript
Machine Learning-Driven STL Generation for Enhancing Functional Safety of E/E Systems
1:45pm - 2:00pm PDT Tuesday, June 24 3006, Level 3
EDA
EDA9: Design for Test and Silicon Lifecycle Management
Research Manuscript
InterConFuzz: A Fuzzing-based Comprehensive NoC Verification Framework
3:30pm - 3:45pm PDT Wednesday, June 25 3003, Level 3
EDA
EDA2: Design Verification and Validation
Research Manuscript
ZXNet: ZX Calculus-Driven Graph Neural Network Framework for Quantum Circuit Equivalence Checking
4:45pm - 5:00pm PDT Monday, June 23 3004, Level 3
Design
DES6: Quantum Computing