Automatic Scalable System for the Coverage-Directed Generation (CDG) ProblemRaviv GalEldad Haberet al.2021DATE 2021Conference paper
Using AI for Performance Verification of High-End ProcessorsRaviv GalAlex Goldinet al.2019ICPE 2019Conference paper