selected publications conference paper RTL processor synthesis for architecture exploration and implementation. . 30156. 2004