| 基于程序切片的电路提取技术 |
| |
| 引用本文： | 朱丹,李暾,万海,郭阳,李思昆.基于程序切片的电路提取技术[J].国防科技大学学报,2003,25(6):10-15. |
| |
| 作者姓名： | 朱丹 李暾 万海 郭阳 李思昆 |
| |
| 作者单位： | 国防科技大学计算机学院,湖南,长沙,410073 |
| |
| 基金项目： | 国家自然科学基金重点项目基金资助(90207019),863项目基金资助(2002AA1Z1480) |
| |
| 摘 要： | 从HDL设计描述中提取电路在VLSI设计验证、低功耗分析、测试生成等方面有广泛的应用需求。提出了一种采用程序切片技术实现的新的电路提取方法,并深入论述了基于程序切片技术从Verilog描述中进行电路提取的理论基础。该方法可以为每一个感兴趣的信号获取其"链接切片"。与以前的方法相比,该方法的优点是细粒度的、不受书写格式的限制,并且能处理更多Verilog的语法元素。该方法已经被集成到现有设计流程中,实验结果表明其方便、高效,有良好的通用性。
|
| 关 键 词： | 程序切片 链接切片 进程依赖图 电路提取 |
| 文章编号： | 1001-2486(2003)06-0010-06 |
| 收稿时间： | 2003/7/20 0:00:00 |
| 修稿时间： | 2003年7月20日 |
Automatic Circuit Extraction Using Program Slicing |
| |
| ZHU Dan,LI Tun,WAN Hai,GUO Yang and LI Sikun.Automatic Circuit Extraction Using Program Slicing[J].Journal of National University of Defense Technology,2003,25(6):10-15. |
| |
| Authors: | ZHU Dan LI Tun WAN Hai GUO Yang and LI Sikun |
| |
| Abstract: | |
| |
| Keywords: | program slicing chaining slice process dependence graph circuit extraction |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
| 点击此处可从《国防科技大学学报》浏览原始摘要信息 |
| 点击此处可从《国防科技大学学报》下载免费的PDF全文 |
|
