Constraint-based random stimuli generation for hardware verification
- Yehuda Naveh
- Michal Rimon
- et al.
- 2007
- AI Magazine
Publications
Date
Featured collections
Popular topics
23 results for Yehuda Naveh
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