Protocol Design & SystemC Verification