Text this: Evaluation of design and verification techniques for synthesizable low power 8-Bit RISC microprocessors.