Ensuring functional closure of a multi-core SoC through verification planning, implementation and execution
- Alan Hunter
- Andrew Piziali
- et al.
- 2008
- MTV 2008
Conference paper
Publications
52 results for Avi Ziv
A probabilistic alternative to regression suites
- Shady Copty
- Shai Fine
- et al.
- 2008
- Theoretical Computer Science
PaperHarnessing machine learning to improve the success rate of stimuli generation
- Shai Fine
- Ari Freund
- et al.
- 2006
- IEEE TC
PaperAdvanced analysis techniques for cross-product coverage
- Hezi Azatchi
- Laurent Fournier
- et al.
- 2006
- IEEE TC
PaperScheduling-based test-case generation for verification of multimedia SoCs
- Amir Nahir
- Avi Ziv
- et al.
- 2006
- DAC 2006
Conference paperAdvanced analysis techniques for cross-product coverage
- Hezi Azatchi
- Laurent Fournier
- et al.
- 2005
- HLDVT 2005
Conference paperHarnessing machine learning to improve the success rate of stimuli generation
- Shai Fine
- Ari Freund
- et al.
- 2005
- HLDVT 2005
Conference paperEnhancing the efficiency of bayesian network based Coverage Directed Test Generation
- Markus Braun
- Shai Fine
- et al.
- 2004
- HLDVT 2004
Conference paperStimuli generation with late binding of values
- Avi Ziv
- 2004
- DATE 2004
Conference paperProbabilistic regression suites for functional verification
- Shai Fine
- Shmuel Ur
- et al.
- 2004
- DAC 2004
Conference paper