Itai Jaeger

Harnessing Machine Learning to Improve the Success Rate of Stimuli Generation

Yishay Mansour, Avi Ziv, Yehuda Naveh, 2005, IEEE Transactions on Computers.

Constraint-Based Random Stimuli Generation for Hardware Verification

Yehuda Naveh, Itai Jaeger, Yoav Katz, 2006, AI Mag..