Rapid exploration of pipelined processors through automatic generation of synthesizable RTL models | IEEE Conference Publication | IEEE Xplore