Showing math.OCShow all
2 papers · 1 filter
math.OC2021
Deep Neural Network Accelerated Implicit Filtering
Brian Irwin, Eldad Haber, Raviv Gal +1
In this paper, we illustrate a novel method for solving optimization problems when derivatives are not explicitly available. We show that combining implicit filtering (IF), an exis…
math.OC2019
How To Catch A Lion In The Desert -- On The Solution Of The Coverage Directed Generation (CDG) Problem
Raviv Gal, Eldad Haber, Brian Irwin +2
The testing and verification of a complex hardware or software system, such as modern integrated circuits (ICs) found in everything from smartphones to servers, can be a difficult…