ML Anthology

Rimon, Michal

1 publications

AAAI 2006 Constraint-Based Random Stimuli Generation for Hardware Verification Yehuda Naveh, Michal Rimon, Itai Jaeger, Yoav Katz, Michael Vinov, Eitan Marcus, Gil Shurek