The Verification Cockpit - Creating the Dream Playground for Data Analytics over the Verification Process. - Moab Arar; Michael L. Behm; Odellia Boni; Raviv Gal; Alex Goldin; Maxim Ilyaev; Einat Kermany; John R. Reysa; Bilal Saleh; Klaus-Dieter Schubert; Gil Shurek; Avi Ziv (Haifa Verification Conference, 2015)

Template Aware Coverage: Taking Coverage Analysis to the Next Level. - Raviv Gal; Einat Kermany; Bilal Saleh; Avi Ziv; Michael L. Behm; Bryan G. Hickerson (DAC, 2017)

How To Catch A Lion In The Desert - On The Solution Of The Coverage Directed Generation (CDG) Problem. - Raviv Gal; Eldad Haber; Brian Irwin; Bilal Saleh; Avi Ziv (CoRR, 2019)

Using Deep Neural Networks And Derivative Free Optimization To Accelerate Coverage Closure. - Raviv Gal; Eldad Haber; Brian Irwin; Marwa Mouallem; Bilal Saleh; Avi Ziv (MLCAD, 2021)