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
Research Manuscript
Machine Learning-Driven STL Generation for Enhancing Functional Safety of E/E Systems
EDA
EDA9: Design for Test and Silicon Lifecycle Management
Research Manuscript
InterConFuzz: A Fuzzing-based Comprehensive NoC Verification Framework
EDA
EDA2: Design Verification and Validation
Research Manuscript
ZXNet: ZX Calculus-Driven Graph Neural Network Framework for Quantum Circuit Equivalence Checking
Design
DES6: Quantum Computing