Automatic and Correct Register Transfer Level Annotations for Low Power Microprocessor Design