Co-verification as risk management: minimizing the risk of incorporating a new processor in your next embedded system design | IEEE Conference Publication | IEEE Xplore