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…