程利新
- 作品数：5 被引量：0H指数：0
- 供职机构：北京理工大学信息科学技术学院计算机科学工程系更多>>
- 发文基金：国家自然科学基金更多>>
- 相关领域：自动化与计算机技术更多>>
- VHDL编译系统MTC设计与测试方法研究
- 2005年
- 采用面向对象技术设计VHDL编译系统M TC,通过对VHDL语法产生式进行分析,将各语法现象以C++类的形式进行抽象分类,给出词法分析和语法分析设计策略,并针对存在于LALR(1)分析过程中的两类冲突提出解决方法.M TC编译过程中通过语法制导进行语义分析,并提出用形式化方法表示中间数据结构.配合使用F lex++与B ison++最终得到面向对象VHDL编译系统.同时提出M TC的自动测试方法.在对SPARC芯片M B 86901算法描述编译过程中,M TC的编译效率比现有编译系统提高了57%.
- 程利新石峰张笑楠
- 关键词：VHDL面向对象语法分析
- 一种引入互斥关系的功能单元分配算法
- 2005年
- 为使条件分支数据通道中功能单元的分配结果得到进一步优化,在数据流图操作相容性分析中引入操作间互斥关系,并构建基于图论的分配模型.使用团划分算法在该模型上进行功能单元分配,同时提出一种针对功能单元分配问题的团划分启发式方法.不仅提高了团划分算法求解功能单元分配问题的计算结果一致性,而且使算法的收敛速度得以提高.根据实验结果,该算法得到的数据通道中所需功能单元平均减少了41%,同时执行速度加快了50%.
- 程利新石峰Muhammad Kamran
- 行为延时约束下调度算法研究
- 2005年
- 为了自动综合设计迭代产生的行为时序,提高综合前后设计时序的一致性,对VHDL同步延时语句的高级综合方法进行研究.将延时转化为适当约束,提出相应调度模型及调度算法,采用启发式方法使解空间搜索算法跳出局部最优,该算法可以在多项式时间复杂度下得到近似最优解.实验结果表明,该算法能有效综合同步延时语句,使综合前后设计时序达到较好一致,提供了一种便于给出延时约束的手段,减少了综合过程的人工干预,提高了设计效率.
- 程利新石峰
- 关键词：解空间调度算法延时约束
- VHDL延时语句的综合算法研究
- 2006年
- 为了使得综合系统能够自动综合经设计迭代后由反向标注得到的时序信息,同时提高综合结果与模拟结果的时序一致性,对作为时序信息载体的延时语句的综合方法进行了研究,将延时语句考虑为延时约束,并提出了相应调度模型DTC_DFG及其调度算法。采用启发式机制使得调度算法的解空间搜索过程具有跳出局部最优的能力,此算法可在多项式时间复杂度下得到全局最优调度解。实验结果表明,该调度算法不仅能够有效综合延时语句,使得综合结果能够与模拟结果达到较好的一致,而且提供了一种给出延时约束的方便手段,减少了综合过程中的人工干预,极大地提高了设计效率。
- 程利新石峰
- 关键词：解空间调度延时约束
- 支持AFTER子句的综合算法研究
- 2005年
- 为了提高综合系统的效率 ,减少对综合系统的人工干预 ,提高其自动化程度 ,对 VHDL 硬件描述语言中的AFTER子句进行研究 .通过对其行为综合语义的定义 ,给出了在 AFTER子句时延约束下的 ASAP和 AL AP算法 ,建立了 AFTER子句时延约束下的调度模型 ,并采用整数线性规划法求解调度模型 .实验结果表明 ,在综合过程中考虑 AFTER子句 ,不仅提供了一个有效给出时序约束的手段 ,而且使得设计描述方式更能够符合思维习惯 ,同时扩大了行为描述中可用语法范围 。
- 程利新石峰
- 关键词：数据路径
