Automated exploration of the design space for register transfer (RT) systems