A Post-Silicon Debug Support Using High-Level Design Description | IEEE Conference Publication | IEEE Xplore