Learning microarchitectural behaviors to improve stimuli generation qualityYoav KatzMichal Rimonet al.2011DAC 2011
Scheduling-based test-case generation for verification of multimedia SoCsAmir NahirAvi Zivet al.2006DAC 2006
Defining coverage views to improve functional coverage analysisSigal AsafEitan Marcuset al.2004DAC 2004
Coverage directed test generation for functional verification using Bayesian networksShai FineAvi Ziv2003DAC 2003
Lightning Talk: Functional Verification – Past, Present, and Future Challenges and OpportunitiesAvi Ziv2023DAC 2023
Harnessing machine learning to improve the success rate of stimuli generationShai FineAri Freundet al.2006IEEE TC