Automatic Circuit Extractor for HDL Description Using Program Slicing. - Li, Tun; Guo, Yang; Li, Sikun (J. Comput. Sci. Technol., 2004)