Hardware/Software Co-Design and Co-Verification