publication venue for On-chip stimuli generation for post-silicon validation 2012 Design-for-debug for post-silicon validation: Can high-level descriptions help? 2009