基于程序切片的电路提取技术.PDFVIP

25 6 JOURNAL OF NATIONAL UNIVERSITY OF DEFENSE TECHNOLOGY Vol.25 No.6 2003 :1001- 2486(2003) 06- 0010- 06 X 朱 丹, 李 暾, 万 海, 郭 阳, 李思昆 ( , 410073) : HDL VLSI , Verilog / 0 , , Verilog , , : ; ; ; :TP30217 :A Automatic Circuit Extraction Using Program Slicing ZHU Dan,LI Tun, WAN Hai,