Bilal Saleh

According to our database, Bilal Saleh authored at least 4 papers between 2015 and 2021.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2021

Using Deep Neural Networks And Derivative Free Optimization To Accelerate Coverage Closure.

Raviv Gal, Eldad Haber, Brian Irwin, Marwa Mouallem, Bilal Saleh, Avi Ziv

Proceedings of the 3rd ACM/IEEE Workshop on Machine Learning for CAD, 2021

2019

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

2017

Template Aware Coverage: Taking Coverage Analysis to the Next Level.

Raviv Gal, Einat Kermany, Bilal Saleh, Avi Ziv, Michael L. Behm, Bryan G. Hickerson

Proceedings of the 54th Annual Design Automation Conference, 2017

2015

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

Proceedings of the Hardware and Software: Verification and Testing, 2015