基于程序切片的电路提取技术
DOI:
作者:
作者单位:

作者简介:

通讯作者:

中图分类号:

基金项目:

国家自然科学基金重点项目基金资助(90207019);863项目基金资助(2002AA1Z1480)


Automatic Circuit Extraction Using Program Slicing
Author:
Affiliation:

Fund Project:

  • 摘要
  • |
  • 图/表
  • |
  • 访问统计
  • |
  • 参考文献
  • |
  • 相似文献
  • |
  • 引证文献
  • |
  • 资源附件
  • |
  • 文章评论
    摘要:

    从HDL设计描述中提取电路在VLSI设计验证、低功耗分析、测试生成等方面有广泛的应用需求。提出了一种采用程序切片技术实现的新的电路提取方法,并深入论述了基于程序切片技术从Verilog描述中进行电路提取的理论基础。该方法可以为每一个感兴趣的信号获取其“链接切片”。与以前的方法相比,该方法的优点是细粒度的、不受书写格式的限制,并且能处理更多Verilog的语法元素。该方法已经被集成到现有设计流程中,实验结果表明其方便、高效,有良好的通用性。

    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.

    参考文献
    相似文献
    引证文献
引用本文

朱丹,李暾,万海,等.基于程序切片的电路提取技术. Automatic Circuit Extraction Using Program Slicing[J].国防科技大学学报,2003,25(6):10-15.

复制
分享
文章指标
  • 点击次数:
  • 下载次数:
  • HTML阅读次数:
  • 引用次数:
历史
  • 收稿日期:2003-07-20
  • 最后修改日期:
  • 录用日期:
  • 在线发布日期: 2013-06-14
  • 出版日期:
文章二维码