Architecture Analysis and Verification of I3C Protocol