related documents Design-for-debug for post-silicon validation: Can high-level descriptions help? Conferences