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

朱丹; 李暾; 万海; 郭阳; 李思昆

首页> 中文期刊> 《国防科技大学学报》 >基于程序切片的电路提取技术

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

开具论文收录证明 >>

期刊封面封底目录下载 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

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

著录项

来源
《国防科技大学学报》 |2003年第6期|10-15|共6页
作者
朱丹; 李暾; 万海; 郭阳; 李思昆;
展开▼
作者单位

国防科技大学计算机学院,湖南,长沙,410073;

国防科技大学计算机学院,湖南,长沙,410073;

国防科技大学计算机学院,湖南,长沙,410073;

国防科技大学计算机学院,湖南,长沙,410073;

国防科技大学计算机学院,湖南,长沙,410073;

展开▼
原文格式 PDF
正文语种 chi
中图分类性能分析、功能分析;
关键词
程序切片; 链接切片; 进程依赖图; 电路提取;

相似文献

中文文献
外文文献
专利

1. 基于程序切片技术的云计算软件安全模型研究 [J] . 崔艳鹏 ,冯璐铭 ,闫峥 . 信息网络安全 . 2019,第007期
2. 一种基于程序切片的Android恶意代码检测技术 [J] . 田子晨 ,易帅 ,吴灏 . 信息工程大学学报 . 2017,第004期
3. 基于GCC关键变量数据流分析算法的程序切片技术 [J] . 杨小川 ,姜军 ,马晓东 . 计算机工程与应用 . 2017,第024期
4. 基于程序依赖图的静态BPEL程序切片技术 [J] . 王洪达 ,邢建春 ,宋巍 . 计算机应用 . 2012,第008期
5. 基于粗粒度程序切片技术的遗产软件系统理解方法研究 [J] . 杜林 ,胡秀琴 ,江海燕 . 中国科技信息 . 2010,第024期
6. MESFET小信号等效电路提取的优化方法 [C] . 高一凡 ,顾聪 . 1999年全国微波毫米波会议 . 1999
7. 基于程序切片的网页过滤技术 [A] . 孙健 . 2015

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

摘要

著录项

相似文献

相关主题

期刊订阅