RTL Processor Synthesis for Architecture Exploration and Implementation