Publications

23 results for Yehuda Naveh

Constraint-based random stimuli generation for hardware verification
- - Yehuda Naveh
  - Michal Rimon
  - et al.
- 2007
- AI Magazine
Workforce optimiztion: Identification and assignment of professional workers using constraint programming
- - Yehuda Naveh
  - Yossi Richter
  - et al.
- 2007
- IBM J. Res. Dev
Constraint-based random stimuli generation for hardware verification
- - Yehuda Naveli
  - Michal Rimon
  - et al.
- 2006
- AAAI/IAAI 2006
Harnessing machine learning to improve the success rate of stimuli generation
- - Shai Fine
  - Ari Freund
  - et al.
- 2006
- IEEE TC
Harnessing machine learning to improve the success rate of stimuli generation
- - Shai Fine
  - Ari Freund
  - et al.
- 2005
- HLDVT 2005
Quality improvement methods for system-level stimuli generation
- - Roy Emek
  - Itai Jaeger
  - et al.
- 2004
- ICCD 2004
Scheduling of transactions for system-level test-case generation
- - R. Emek
  - Y. Naveh
- 2003
- HLDVT 2003
Temperature scaling of CMOS circuit power consumption
- - Victor Sverdlov
  - Yehuda Naveh
  - et al.
- 2003
- Physica E: Low-Dimensional Systems and Nanostructures
Temperature scaling of nanoscale silicon MOSFETs
- - V. Sverdlov
  - Y. Naveh
  - et al.
- 2002
- European Workshop on Low Temperature Electronics 2002
Power scaling in nanoscale ballistic MOSFET circuits
- - V. Sverdlov
  - Y. Naveh
  - et al.
- 2001
- ISDRS 2001