Design-for-debug for post-silicon validation: Can high-level descriptions help? | IEEE Conference Publication | IEEE Xplore