Assertion Coverage Aware Trace Signal Selection in Post-Silicon Validation | IEEE Conference Publication | IEEE Xplore