Debugging Method for Segmentation Faults Based on Hardware-Software Co-Analysis for Processor Verification | IEEE Conference Publication | IEEE Xplore