Marcu, Eitan s

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