Power Consumption Modeling and Characterization of the TI C6201