RTL Synthesis: From Logic Synthesis to Automatic Pipelining | IEEE Journals & Magazine | IEEE Xplore