Probabilistic regression suites for functional verification
- Shai Fine
- Shmuel Ur
- et al.
- 2004
- DAC 2004
Publications
Date
Featured collections
Popular topics
15 results for Shai Fine
Coverage directed test generation for functional verification using Bayesian networks
- Shai Fine
- Avi Ziv
- 2003
- DAC 2003
Harnessing machine learning to improve the success rate of stimuli generation
- Shai Fine
- Ari Freund
- et al.
- 2006
- IEEE TC
A theory-based decision heuristic for DPLL(T)
- Dan Goldwasser
- Ofer Strichman
- et al.
- 2008
- FMCAD 2008
Learning to estimate query difficulty: Including applications to missing content detection and distributed information retrieval
- Elad Yom-Tov
- Shai Fine
- et al.
- 2005
- SIGIR 2005
Juru at TREC 2005: Query prediction in the terabyte and the robust tracks
- Elad Yom-Tov
- David Carmel
- et al.
- 2005
- TREC 2005
Harnessing machine learning to improve the success rate of stimuli generation
- Shai Fine
- Ari Freund
- et al.
- 2005
- HLDVT 2005
Enhancing the efficiency of bayesian network based Coverage Directed Test Generation
- Markus Braun
- Shai Fine
- et al.
- 2004
- HLDVT 2004
Enhancing the control and efficiency of the covering process [logic verification]
- S. Fine
- A. Ziv
- 2003
- HLDVT 2003
Active sampling for multiple output identification
- Shai Fine
- Yishay Mansour
- 2007
- Machine Learning