Rimon%2C%20Michal

• AI Magazine Vol. 28 No. 3: Fall 2007 - Articles
  Constraint-Based Random Stimuli Generation for Hardware Verification
  Abstract  PDF