On optimal extraction of combinational logic and don't care sets from hardware description languages | IEEE Conference Publication | IEEE Xplore