主页期刊介绍编委会编辑部服务介绍道德声明在线审稿编委办公编辑办公English
     
在线出版
各期目录
纸质出版
分辑系列
论文检索
论文排行
综述文章
专刊文章
美文分享
各期封面
E-mail Alerts
RSS
旧版入口
中国科学院软件研究所
  
投稿指南 问题解答 下载区 收费标准 在线投稿
许庆平,刘明业,宋瀚涛.面向高级综合验证的数据流图提取技术研究.软件学报,1999,10(5):508-510
面向高级综合验证的数据流图提取技术研究
Research on Data Flow Graph Extracting Technology for Verificat ion of High Level Synthesis Correctness
投稿时间:1997-12-01  修订日期:1998-05-19
DOI:
中文关键词:  高级综合,硬件设计验证.
英文关键词:High level synthesis, hardware design verification.
基金项目:本文研究得到国家自然科学基金和国防预研基金资助.
作者单位
许庆平 北京理工大学计算机科学工程系,北京,100081 
刘明业 北京理工大学计算机科学工程系,北京,100081 
宋瀚涛 北京理工大学计算机科学工程系,北京,100081 
摘要点击次数: 2694
全文下载次数: 289
中文摘要:
      该文主要讨论高级综合系统RTL(register transfer level)级综合结果正确性验证策略的确 定及验证系统设计中DFG(data flow graph)逆向获取算法的设计与实现.算法主要包括4个处 理阶段:FSM(finite state machine)动态分析及控制输出获取;FSM当前状态下数据通道有 效元件分析;数据通道结构到DFG操作结点转换;DFG结点间数据依赖关系分析、共享寄存器 变量分离及有向边的形成.
英文摘要:
      To verify the correctness of the RTL(register transfer level) result got from th e high level synthesis, an algorithm of DFG(data flow graph) invert extracting i s designed and realized in this paper. Four sections are included in this algori thm: analyze FSM(finite state machine) dynamically and obtain control signal; se arch the active component for current states of FSM and convert the operate note of DFG from the structure of data path; analyze the relationship between the no tes of DFG, separate the variables sharing the same register.
HTML  下载PDF全文  查看/发表评论  下载PDF阅读器
 

京公网安备 11040202500064号

主办单位:中国科学院软件研究所 中国计算机学会 京ICP备05046678号-4
编辑部电话:+86-10-62562563 E-mail: jos@iscas.ac.cn
Copyright 中国科学院软件研究所《软件学报》版权所有 All Rights Reserved
本刊全文数据库版权所有,未经许可,不得转载,本刊保留追究法律责任的权利