Logic synthesis-a faster route to silicon | IET Journals & Magazine | IEEE Xplore