Personensuche
X
?
2024 IEEE 42nd VLSI Test Symposium (VTS) ,
2
Domain-Adapted LLMs for VLSI Design and Verification: A Cas..:
, In:
?
2023 IEEE/ACM International Conference on Computer Aided Design (ICCAD) ,
11
LFPS: Learned Formal Proof Strengthening for Efficient Hard..:
, In:
?
2023 Design, Automation & Test in Europe Conference & Exhibition (DATE) ,
13