| 引用本文: | 朱丹,李暾,万海,等.基于程序切片的电路提取技术.[J].国防科技大学学报,2003,25(6):10-15.[点击复制] |
| ZHU Dan,LI Tun,WAN Hai,et al.Automatic Circuit Extraction Using Program Slicing[J].Journal of National University of Defense Technology,2003,25(6):10-15[点击复制] |
|
| |
|
|
| 本文已被：浏览 7038次 下载 5479次 |
| 基于程序切片的电路提取技术 |
| 朱丹, 李暾, 万海, 郭阳, 李思昆 |
|
(国防科技大学 计算机学院，湖南 长沙 410073)
|
| 摘要: |
| 从HDL设计描述中提取电路在VLSI设计验证、低功耗分析、测试生成等方面有广泛的应用需求。提出了一种采用程序切片技术实现的新的电路提取方法，并深入论述了基于程序切片技术从Verilog描述中进行电路提取的理论基础。该方法可以为每一个感兴趣的信号获取其“链接切片”。与以前的方法相比，该方法的优点是细粒度的、不受书写格式的限制，并且能处理更多Verilog的语法元素。该方法已经被集成到现有设计流程中，实验结果表明其方便、高效，有良好的通用性。 |
| 关键词: 程序切片 链接切片 进程依赖图 电路提取 |
| DOI： |
| 投稿日期：2003-07-20 |
| 基金项目:国家自然科学基金重点项目基金资助(90207019)；863项目基金资助(2002AA1Z1480) |
|
| Automatic Circuit Extraction Using Program Slicing |
| ZHU Dan, LI Tun, WAN Hai, GUO Yang, LI Sikun |
|
(College of Computer, National Univ. of Defense Technology，Changsha 410073，China)
|
| Abstract: |
| The design extraction from HDL description has been greatly needed in modern VLSI design process,such as the design verification，low power analysis，test generation and so on.This paper presents a new circuit extraction method using program slicing technique,and develops an elegant theoretical basis, based on program slicing, for circuit extraction from Verilog description. With the technique we can obtain a “chaining slice” for each given signal of interest.Our method has advantage in its fine grain,without writing-style limitation and in dealing with more Verilog components characteristics.The technique has been used in the design process and the results show its convenience，efficiency and good practicability. |
| Keywords: program slicing chaining slice process dependence graph circuit extraction |
|
|
|
|
|
