Logic synthesis from a hardware description language | IET Conference Publication | IEEE Xplore