Bilal Saleh
发表
How to catch a lion in the desert: on the solution of the coverage directed generation (CDG) problem
Avi Ziv,
Raviv Gal,
Eldad Haber,
2019,
ArXiv.
Avi Ziv,
Raviv Gal,
Bilal Saleh,
2017,
2017 54th ACM/EDAC/IEEE Design Automation Conference (DAC).
Klaus-Dieter Schubert,
Avi Ziv,
Raviv Gal,
2015,
Haifa Verification Conference.
Avi Ziv,
Eldad Haber,
Raviv Gal,
2021,
2021 ACM/IEEE 3rd Workshop on Machine Learning for CAD (MLCAD).