Synthesis-driven exploration of pipelined embedded processors | IEEE Conference Publication | IEEE Xplore