程利新

作品数：5被引量：0H指数：0
导出分析报告
供职机构：北京理工大学信息科学技术学院计算机科学工程系更多>>
发文主题：延时约束VHDL解空间AFTER延时更多>>
发文领域：自动化与计算机技术更多>>
发文期刊：《北京理工大学学报》《计算机工程》更多>>
所获基金：国家自然科学基金更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-5
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
VHDL延时语句的综合算法研究
《计算机工程》2006年第4期15-17,38,共4页程利新 石峰 
国家自然科学基金资助项目(69973007)
为了使得综合系统能够自动综合经设计迭代后由反向标注得到的时序信息,同时提高综合结果与模拟结果的时序一致性,对作为时序信息载体的延时语句的综合方法进行了研究,将延时语句考虑为延时约束,并提出了相应调度模型DTC_DFG及其调度算...
关键词：高级综合 解空间 调度 延时约束 
VHDL编译系统MTC设计与测试方法研究
《北京理工大学学报》2005年第12期1043-1046,共4页程利新 石峰 张笑楠 
国家自然科学基金资助项目(69973007)
采用面向对象技术设计VHDL编译系统M TC,通过对VHDL语法产生式进行分析,将各语法现象以C++类的形式进行抽象分类,给出词法分析和语法分析设计策略,并针对存在于LALR(1)分析过程中的两类冲突提出解决方法.M TC编译过程中通过语法制导进...
关键词：VHDL 面向对象 语法分析 测试方法 
一种引入互斥关系的功能单元分配算法
《北京理工大学学报》2005年第10期885-889,共5页程利新 石峰 Muhammad Kamran 
国家自然科学基金资助项目(69973007)
为使条件分支数据通道中功能单元的分配结果得到进一步优化,在数据流图操作相容性分析中引入操作间互斥关系,并构建基于图论的分配模型.使用团划分算法在该模型上进行功能单元分配,同时提出一种针对功能单元分配问题的团划分启发式方法...
关键词：互斥关系 功能单元分配 团划分 
行为延时约束下调度算法研究
《北京理工大学学报》2005年第8期692-696,共5页程利新 石峰 
国家自然科学基金资助项目(69973007)
为了自动综合设计迭代产生的行为时序,提高综合前后设计时序的一致性,对VHDL同步延时语句的高级综合方法进行研究.将延时转化为适当约束,提出相应调度模型及调度算法,采用启发式方法使解空间搜索算法跳出局部最优,该算法可以在多项式时...
关键词：高级综合 解空间 调度算法 延时约束 
支持AFTER子句的综合算法研究
《北京理工大学学报》2005年第2期116-120,共5页程利新 石峰 
国家自然科学基金资助项目 (69973 0 0 3 )
为了提高综合系统的效率 ,减少对综合系统的人工干预 ,提高其自动化程度 ,对 VHDL 硬件描述语言中的AFTER子句进行研究 .通过对其行为综合语义的定义 ,给出了在 AFTER子句时延约束下的 ASAP和 AL AP算法 ,建立了 AFTER子句时延约束下的...
关键词：高级综合 数据路径 时序约束 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部